ampl: include 'C:\Users\User\Desktop\AMPL trabajos\AMPL trabajos\pd2FalySob.run';

Presolve eliminates 2552 constraints and 946729 variables.
Adjusted problem:
102602 variables:
	1456 binary variables
	101137 integer variables
	9 linear variables
10796 constraints, all linear; 979021 nonzeros
	2424 equality constraints
	8372 inequality constraints
1 linear objective; 2 nonzeros.

CPLEX 20.1.0.0: timelimit=20000
outlev=1
mipdisplay=2
MIP Presolve eliminated 5 rows and 1920 columns.
MIP Presolve modified 104 coefficients.
Reduced MIP has 9949 rows, 99840 columns, and 959006 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Detecting symmetries...
Reduced MIP has 9949 rows, 99840 columns, and 959006 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Probing time = 0.06 sec. (37.69 ticks)
Clique table members: 104.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 8 threads.
Root relaxation solution time = 7.58 sec. (6721.67 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap

      0     0       12.3000  2037                     12.3000       41         
*     0+    0                         1184.4000       12.3000            98.96%
      0     0       12.3000   961     1184.4000     Cuts: 325    14590   98.96%
      0     0       12.3000   914     1184.4000     Cuts: 151    27067   98.96%
      0     0       12.3000  1039     1184.4000     Cuts: 289    34998   98.96%
*     0+    0                          941.1000       12.3000            98.69%
*     0+    0                          561.3000       12.3000            97.81%
*     0+    0                          541.8000       12.3000            97.73%
*     0+    0                          535.8000       12.3000            97.70%
      0     0  -1.00000e+75     0      535.8000       12.3000    34998   97.70%
      0     0       12.3000   850      535.8000     Cuts: 131    43747   97.70%
      0     0       12.3000   938      535.8000     Cuts: 234    55556   97.70%
Heuristic still looking.
Heuristic still looking.
Heuristic still looking.
      0     2       12.3000   563      535.8000       12.3000    55556   97.70%
Elapsed time = 1096.33 sec. (1247714.11 ticks, tree = 0.02 MB)
      1     3       12.3000   539      535.8000       12.3000    55929   97.70%
      2     3       12.3000   884      535.8000       12.3000    61975   97.70%
      3     5       12.3000   932      535.8000       12.3000    62829   97.70%
      4     4       12.3000   610      535.8000       12.3000    55980   97.70%
*     5+    4                          504.9000       12.3000            97.56%
      5     6       12.9000   788      504.9000       12.3000    69777   97.56%
      6     7       12.3000   817      504.9000       12.3000    69541   97.56%
      7     9       12.3000   801      504.9000       12.3000    76895   97.56%
      8    10       12.3000   793      504.9000       12.3000    76968   97.56%
      9    11       12.3000   792      504.9000       12.3000    77367   97.56%
     10     8       12.9000   809      504.9000       12.3000    72323   97.56%
Elapsed time = 1213.94 sec. (1304489.00 ticks, tree = 0.21 MB)
     12    12       12.9000   786      504.9000       12.3000    79744   97.56%
     13    13       12.9000   770      504.9000       12.3000    80051   97.56%
     14    14       12.9000   831      504.9000       12.3000    80450   97.56%
     15     6       12.3000   902      504.9000       12.3000    63022   97.56%
     16    13       12.3000   914      504.9000       12.3000    80092   97.56%
     17    13       12.3000   775      504.9000       12.3000    81458   97.56%
     19    14       12.3000   912      504.9000       12.3000    80601   97.56%
     23    15       12.3000   875      504.9000       12.3000    80717   97.56%
     25    18       12.3000   816      504.9000       12.3000    85976   97.56%
     29    22       12.9000   739      504.9000       12.3000    89596   97.56%
Elapsed time = 1277.13 sec. (1326383.28 ticks, tree = 1.84 MB)
     31    21       12.3000   828      504.9000       12.3000    86834   97.56%
     33    25       12.9000   651      504.9000       12.3000    90400   97.56%
     35    17       12.3000   804      504.9000       12.3000    83838   97.56%
     36    27       12.9000   787      504.9000       12.3000    93033   97.56%
     38    25       12.3000   827      504.9000       12.3000    92109   97.56%
     39    33       12.9000   691      504.9000       12.3000    97503   97.56%
     41    41       12.3000   613      504.9000       12.3000   103714   97.56%
     43     7       12.3000   708      504.9000       12.3000    69966   97.56%
     45    43       12.3000   707      504.9000       12.3000   104910   97.56%
     47    44       12.3000   668      504.9000       12.3000   105240   97.56%
Elapsed time = 1341.66 sec. (1349029.57 ticks, tree = 4.20 MB)
     51    46       12.3000   660      504.9000       12.3000   105583   97.56%
     54    47       12.9000   758      504.9000       12.3000   117469   97.56%
     56    47       12.3000   867      504.9000       12.3000   116485   97.56%
     58     8       12.9000   827      504.9000       12.3000    70162   97.56%
     60    59       12.3000   746      504.9000       12.3000   122197   97.56%
     61    60       12.3000   791      504.9000       12.3000   122554   97.56%
     63    48       12.9000   761      504.9000       12.3000   120324   97.56%
     65     9       12.3000   778      504.9000       12.3000    79297   97.56%
     67    54       12.3000   714      504.9000       12.3000   122963   97.56%
     69    64       12.3000   789      504.9000       12.3000   132249   97.56%
Elapsed time = 1397.02 sec. (1365066.17 ticks, tree = 4.33 MB)
     71    64       12.9000   697      504.9000       12.3000   130634   97.56%
     74    67       12.9000   821      504.9000       12.3000   132559   97.56%
     76    62       12.3000   760      504.9000       12.3000   129765   97.56%
     77    73       12.3000   799      504.9000       12.3000   144256   97.56%
     78    61       12.3000   814      504.9000       12.3000   128277   97.56%
     80    77       12.3000   770      504.9000       12.3000   150604   97.56%
     83    80       12.3000   806      504.9000       12.3000   150809   97.56%
     84    74       12.3000   739      504.9000       12.3000   146134   97.56%
     87    78       12.9000   835      504.9000       12.3000   158229   97.56%
     93    84       12.3000   784      504.9000       12.3000   152365   97.56%
Elapsed time = 1440.17 sec. (1384183.14 ticks, tree = 7.25 MB)
     96    80       12.9000   881      504.9000       12.3000   159291   97.56%
    103    85       12.9000   838      504.9000       12.3000   159698   97.56%
    105    85       12.3000   903      504.9000       12.3000   154877   97.56%
    107    81       12.3000  1091      504.9000       12.3000   203407   97.56%
    108    86       12.9000   903      504.9000       12.3000   162047   97.56%
    109    92       12.3000   728      504.9000       12.3000   239205   97.56%
    111   104       12.9000   832      504.9000       12.3000   246469   97.56%
    114    82       12.3000  1026      504.9000       12.3000   237673   97.56%
    116   105       12.9000   904      504.9000       12.3000   246665   97.56%
    117   106       12.3000  1048      504.9000       12.3000   247621   97.56%
Elapsed time = 1534.56 sec. (1411426.03 ticks, tree = 8.88 MB)
    118    75       12.3000   889      504.9000       12.3000   156631   97.56%
    119   106       12.9000   926      504.9000       12.3000   247191   97.56%
    120    97       12.9000   542      504.9000       12.3000   244791   97.56%
    122   107       12.3000  1043      504.9000       12.3000   248194   97.56%
    123   108       12.3000  1007      504.9000       12.3000   248531   97.56%
    125    83       12.3000   977      504.9000       12.3000   240828   97.56%
    126   123       12.3000  1015      504.9000       12.3000   274497   97.56%
    130   122       12.3000  1041      504.9000       12.3000   268950   97.56%
    131   115       12.9000   600      504.9000       12.3000   263910   97.56%
    133   115       12.9000   898      504.9000       12.3000   262364   97.56%
Elapsed time = 1599.86 sec. (1427439.63 ticks, tree = 10.15 MB)
    135   119       12.3000   728      504.9000       12.3000   266763   97.56%
    136   109       12.3000   803      504.9000       12.3000   263269   97.56%
    138   120       12.3000   747      504.9000       12.3000   266856   97.56%
    140   126       12.3000   862      504.9000       12.3000   278453   97.56%
    142   127       12.3000   831      504.9000       12.3000   278737   97.56%
    147   110       12.3000   776      504.9000       12.3000   263637   97.56%
    149   132       12.9000   870      504.9000       12.3000   283279   97.56%
    150   121       12.3000   881      504.9000       12.3000   270237   97.56%
    151   137       12.3000   790      504.9000       12.3000   289884   97.56%
    154   139       12.3000   651      504.9000       12.3000   315933   97.56%
Elapsed time = 1658.47 sec. (1447990.42 ticks, tree = 11.80 MB)
    157   126       12.9000   815      504.9000       12.3000   282017   97.56%
    161   135       12.9000   709      504.9000       12.3000   286792   97.56%
    162   136       12.9000   729      504.9000       12.3000   287190   97.56%
    163   138       12.3000   833      504.9000       12.3000   292312   97.56%
    165   137       12.9000   742      504.9000       12.3000   288458   97.56%
    167   147       12.9000   634      504.9000       12.3000   321791   97.56%
    168   148       12.9000   651      504.9000       12.3000   321968   97.56%
    169   143       12.3000   832      504.9000       12.3000   320160   97.56%
    175   146       12.3000   615      504.9000       12.3000   320511   97.56%
    177   143       12.3000   746      504.9000       12.3000   296790   97.56%
Elapsed time = 1742.98 sec. (1468579.40 ticks, tree = 13.28 MB)
    179   155       12.3000   808      504.9000       12.3000   361224   97.56%
    183   166       12.3000   619      504.9000       12.3000   368532   97.56%
    186   149       12.9000   968      504.9000       12.3000   327041   97.56%
    188   156       12.3000   820      504.9000       12.3000   331311   97.56%
    191   156       12.3000   790      504.9000       12.3000   365174   97.56%
    193   160       12.3000   700      504.9000       12.3000   333741   97.56%
    196   162       12.3000   752      504.9000       12.3000   334387   97.56%
    197   170       12.9000   829      504.9000       12.3000   378368   97.56%
    199   158       12.3000   778      504.9000       12.3000   367804   97.56%
    206   172       12.9000   863      504.9000       12.3000   380306   97.56%
Elapsed time = 1847.91 sec. (1495322.37 ticks, tree = 16.06 MB)
    210   191       12.3000   754      504.9000       12.3000   389183   97.56%
    213   194       12.3000   847      504.9000       12.3000   391542   97.56%
    221   194       12.9000   745      504.9000       12.3000   398421   97.56%
    224   204       12.3000   616      504.9000       12.3000   405049   97.56%
    228   206       12.3000   744      504.9000       12.3000   407251   97.56%
    231   209       12.3000   738      504.9000       12.3000   410060   97.56%
    237   216       12.3000   987      504.9000       12.3000   439240   97.56%
*   244+  126                          165.6000       12.3000            92.57%
    246   218       12.3000   949      165.6000       12.3000   440586   92.57%
    253   238       12.3000   804      165.6000       12.3000   457081   92.57%
    266   220       12.3000   926      165.6000       12.3000   443277   92.57%
Elapsed time = 2050.27 sec. (1552701.63 ticks, tree = 21.87 MB)
    272   133       12.3000   800      165.6000       12.3000   286729   92.57%
    279   234       12.3000   705      165.6000       12.3000   452365   92.57%
    284   240       12.3000   742      165.6000       12.3000   459869   92.57%
    296   253       12.3000   780      165.6000       12.3000   467083   92.57%
    304   257       12.9000   734      165.6000       12.3000   477394   92.57%
    306   242       12.3000   946      165.6000       12.3000   466337   92.57%
    308   258       12.9000   779      165.6000       12.3000   479966   92.57%
    314   270       12.3000   780      165.6000       12.3000   491555   92.57%
    317   273       12.3000   820      165.6000       12.3000   500320   92.57%
    324   265       12.9000   739      165.6000       12.3000   485856   92.57%
Elapsed time = 2245.56 sec. (1599738.12 ticks, tree = 28.02 MB)
    326   266       12.9000   808      165.6000       12.3000   487723   92.57%
    328   276       12.3000   887      165.6000       12.3000   504960   92.57%
    330   295       12.3000   911      165.6000       12.3000   560259   92.57%
    334   299       12.3000   892      165.6000       12.3000   563861   92.57%
    336   301       12.3000   942      165.6000       12.3000   568331   92.57%
    339   304       12.3000   912      165.6000       12.3000   573160   92.57%
    348   311       12.3000   692      165.6000       12.3000   605588   92.57%
    351   312       12.9000   844      165.6000       12.3000   608988   92.57%
    363   318       12.3000   805      165.6000       12.3000   615603   92.57%
    373   325       12.3000   925      165.6000       12.3000   618698   92.57%
Elapsed time = 2604.20 sec. (1701821.22 ticks, tree = 42.01 MB)
    375   326       12.3000   727      165.6000       12.3000   614907   92.57%
    380   340       12.3000   773      165.6000       12.3000   627253   92.57%
    382   327       12.3000   946      165.6000       12.3000   623668   92.57%
    393   342       12.3000   816      165.6000       12.3000   630134   92.57%
    396   355       12.3000   949      165.6000       12.3000   640299   92.57%
    403   358       12.3000   983      165.6000       12.3000   644391   92.57%
    406   372       12.3000   742      165.6000       12.3000   653861   92.57%
    407   373       12.3000   732      165.6000       12.3000   655209   92.57%
    410   376       12.3000   904      165.6000       12.3000   659134   92.57%
    413   379       12.3000   650      165.6000       12.3000   660729   92.57%
Elapsed time = 2838.30 sec. (1768937.39 ticks, tree = 57.53 MB)
    416   358       12.9000   873      165.6000       12.3000   659563   92.57%
    425   257       12.9000   900      165.6000       12.3000   469193   92.57%
    433   400       12.3000   927      165.6000       12.3000   695260   92.57%
    438   179       12.3000  1181      165.6000       12.3000   406241   92.57%
    441   403       12.3000   859      165.6000       12.3000   698189   92.57%
    447   410       12.3000   721      165.6000       12.3000   728517   92.57%
    453   414       12.3000   752      165.6000       12.3000   707844   92.57%
    459   415       12.3000   709      165.6000       12.3000   732577   92.57%
    467   417       12.3000   816      165.6000       12.3000   711445   92.57%
    472   422       12.3000   763      165.6000       12.3000   713485   92.57%
Elapsed time = 3041.52 sec. (1827215.08 ticks, tree = 65.45 MB)
    482   416       12.3000   538      165.6000       12.3000   735970   92.57%
    488   433       12.3000   680      165.6000       12.3000   762561   92.57%
    493   418       12.3000   688      165.6000       12.3000   739415   92.57%
    497   418       12.9000   975      165.6000       12.3000   750793   92.57%
    502   432    infeasible            165.6000       12.3000   763720   92.57%
    512   438       12.3000   718      165.6000       12.3000   769341   92.57%
    517   440       12.3000   663      165.6000       12.3000   770630   92.57%
    528   426       12.3000   816      165.6000       12.3000   747047   92.57%
    540   425       12.9000   652      165.6000       12.3000   758285   92.57%
    542   440       12.9000   902      165.6000       12.3000   770824   92.57%
Elapsed time = 3207.73 sec. (1874631.84 ticks, tree = 68.42 MB)
    549   427       12.9000   877      165.6000       12.3000   761556   92.57%
    556   444       12.9000   712      165.6000       12.3000   774057   92.57%
    558   450       12.3000   689      165.6000       12.3000   779760   92.57%
    564   462       12.3000   744      165.6000       12.3000   790068   92.57%
    573   511       12.3000   714      165.6000       12.3000   844570   92.57%
    575   447       12.9000   736      165.6000       12.3000   779237   92.57%
    585   480       12.3000   600      165.6000       12.3000   817646   92.57%
    591   490       12.9000   753      165.6000       12.3000   829470   92.57%
    597   481       12.3000   801      165.6000       12.3000   820321   92.57%
    610   493       12.9000   730      165.6000       12.3000   832363   92.57%
Elapsed time = 3362.55 sec. (1918088.22 ticks, tree = 82.36 MB)
    618   531       12.9000   719      165.6000       12.3000   867814   92.57%
    627   539       12.3000   447      165.6000       12.3000   883527   92.57%
    631   531       12.3000   735      165.6000       12.3000   856419   92.57%
    643   535       12.9000  1009      165.6000       12.3000   872588   92.57%
    652   544       12.3000   632      165.6000       12.3000   889339   92.57%
    661   540       12.3000   577      165.6000       12.3000   861109   92.57%
    667   549       12.3000   509      165.6000       12.3000   892012   92.57%
    670   541       12.9000  1135      165.6000       12.3000   878709   92.57%
    677   552       12.3000   912      165.6000       12.3000   896624   92.57%
    680   570       12.3000   629      165.6000       12.3000   916671   92.57%
Elapsed time = 3539.42 sec. (1970760.35 ticks, tree = 105.25 MB)
    689   597       12.3000   684      165.6000       12.3000   929388   92.57%
    693   573       12.3000   717      165.6000       12.3000   919936   92.57%
    700   622       12.9000   848      165.6000       12.3000   976665   92.57%
    708   600       12.3000   749      165.6000       12.3000   933948   92.57%
    727   601       12.3000   755      165.6000       12.3000   935491   92.57%
    743   646       12.3000   612      165.6000       12.3000   989095   92.57%
    750   661       12.3000   770      165.6000       12.3000  1012528   92.57%
    768   642       12.3000   873      165.6000       12.3000   990510   92.57%
    790   695       12.3000   377      165.6000       12.3000  1035590   92.57%
    796   644       12.3000   624      165.6000       12.3000   993024   92.57%
Elapsed time = 3689.25 sec. (2016527.24 ticks, tree = 125.59 MB)
    802   611       12.3000  1035      165.6000       12.3000   943518   92.57%
    812   653       12.3000   791      165.6000       12.3000   996962   92.57%
    822   627       12.9000   754      165.6000       12.3000   962417   92.57%
    829   712       12.3000   785      165.6000       12.3000  1060680   92.57%
    841   657       12.3000   668      165.6000       12.3000  1001057   92.57%
    854   730       12.9000   779      165.6000       12.3000  1082509   92.57%
    864   675       12.3000   714      165.6000       12.3000  1026952   92.57%
    880   783       12.3000   546      165.6000       12.3000  1126234   92.57%
    895   762       12.9000   731      165.6000       12.3000  1107263   92.57%
    905   763       12.9000   656      165.6000       12.3000  1108857   92.57%
Elapsed time = 3852.38 sec. (2060769.58 ticks, tree = 158.48 MB)
    915   736       12.9000   749      165.6000       12.3000  1090180   92.57%
    923   727       12.3000   703      165.6000       12.3000  1071623   92.57%
    930   683       12.3000   937      165.6000       12.3000  1035210   92.57%
    944   776       12.9000   491      165.6000       12.3000  1114225   92.57%
    952   739       12.9000   750      165.6000       12.3000  1096037   92.57%
    958   778       12.9000   736      165.6000       12.3000  1118342   92.57%
    967   742       12.9000   851      165.6000       12.3000  1099487   92.57%
    978   783       12.9000   780      165.6000       12.3000  1121038   92.57%
    983   877       12.3000   698      165.6000       12.3000  1211255   92.57%
    997   788       12.9000   951      165.6000       12.3000  1124464   92.57%
Elapsed time = 4024.20 sec. (2106725.30 ticks, tree = 167.22 MB)
   1008   881       12.3000   692      165.6000       12.3000  1214100   92.57%
   1014   793       12.9000   846      165.6000       12.3000  1127795   92.57%
   1022   891       12.3000   855      165.6000       12.3000  1233224   92.57%
   1027   888       12.3000   638      165.6000       12.3000  1218670   92.57%
   1034   889       12.3000   598      165.6000       12.3000  1220682   92.57%
   1044   864       12.3000   846      165.6000       12.3000  1195202   92.57%
   1054   922       12.3000   639      165.6000       12.3000  1260546   92.57%
   1062   866       12.3000   911      165.6000       12.3000  1200022   92.57%
   1068   942       12.9000   767      165.6000       12.3000  1285605   92.57%
   1076   899       12.3000   862      165.6000       12.3000  1232014   92.57%
Elapsed time = 4215.94 sec. (2163195.03 ticks, tree = 198.83 MB)
   1088   928       12.3000   663      165.6000       12.3000  1267986   92.57%
   1095   981       12.9000   785      165.6000       12.3000  1319959   92.57%
   1098   931       12.3000   812      165.6000       12.3000  1271206   92.57%
   1107   950       12.9000   933      165.6000       12.3000  1295861   92.57%
   1113   989       12.9000   695      165.6000       12.3000  1326588   92.57%
   1122   955       12.9000   712      165.6000       12.3000  1300931   92.57%
   1126  1052       12.3000   851      165.6000       12.3000  1393789   92.57%
   1130  1069       12.9000   875      165.6000       12.3000  1415599   92.57%
   1133  1094       12.9000   903      165.6000       12.3000  1443240   92.57%
   1135  1072       12.9000   935      165.6000       12.3000  1419470   92.57%
Elapsed time = 4425.91 sec. (2220465.32 ticks, tree = 248.67 MB)
   1141   787       12.3000   558      165.6000       12.3000  1130580   92.57%
   1144  1100       12.9000   839      165.6000       12.3000  1449769   92.57%
   1147  1100       12.3000   767      165.6000       12.3000  1449627   92.57%
   1151  1103       12.9000   822      165.6000       12.3000  1453719   92.57%
   1153   812       12.3000   617      165.6000       12.3000  1153198   92.57%
   1156  1104       12.3000   530      165.6000       12.3000  1453828   92.57%
   1163  1108       12.9000   729      165.6000       12.3000  1457992   92.57%
   1171  1108       12.3000   767      165.6000       12.3000  1457247   92.57%
   1172  1113       12.9000   862      165.6000       12.3000  1462408   92.57%
   1177  1108       12.3000   940      165.6000       12.3000  1465030   92.57%
Elapsed time = 4638.27 sec. (2272358.36 ticks, tree = 261.00 MB)
   1183  1107       12.3000   814      165.6000       12.3000  1459528   92.57%
   1185  1111       12.3000   945      165.6000       12.3000  1468798   92.57%
   1192  1109       12.3000   742      165.6000       12.3000  1462061   92.57%
   1199  1136       12.9000   813      165.6000       12.3000  1492331   92.57%
*  1201+ 1135                          158.4000       12.3000            92.23%
   1207  1141       12.3000   994      158.4000       12.3000  1534614   92.23%
   1210  1142       12.3000   867      158.4000       12.3000  1535933   92.23%
   1219  1145       12.9000   925      158.4000       12.3000  1538960   92.23%
   1224  1121       12.3000   809      158.4000       12.3000  1479597   92.23%
   1231  1148       12.9000   827      158.4000       12.3000  1542874   92.23%
   1240  1185       12.3000   537      158.4000       12.3000  1583210   92.23%
Elapsed time = 4813.70 sec. (2325588.81 ticks, tree = 284.86 MB)
   1251  1125       12.3000   939      158.4000       12.3000  1483952   92.23%
   1255  1191       12.3000   610      158.4000       12.3000  1585472   92.23%
   1261  1054       12.3000   677      158.4000       12.3000  1395812   92.23%
   1270  1154       12.3000   603      158.4000       12.3000  1549076   92.23%
   1282  1195       12.3000   816      158.4000       12.3000  1593934   92.23%
   1292  1191       12.3000   813      158.4000       12.3000  1592415   92.23%
   1301  1171       12.3000   525      158.4000       12.3000  1577440   92.23%
   1304  1172       12.3000   557      158.4000       12.3000  1578818   92.23%
   1316  1202       12.3000   582      158.4000       12.3000  1598999   92.23%
   1321  1174       12.3000   770      158.4000       12.3000  1581578   92.23%
Elapsed time = 4959.11 sec. (2368525.27 ticks, tree = 282.24 MB)
   1337  1200       12.3000   577      158.4000       12.3000  1597505   92.23%
   1349  1282       12.3000   462      158.4000       12.3000  1706269   92.23%
   1364  1199       12.3000   580      158.4000       12.3000  1602088   92.23%
   1369  1286       12.3000   653      158.4000       12.3000  1709111   92.23%
   1380  1201       12.3000   595      158.4000       12.3000  1604902   92.23%
   1396  1296       12.3000   467      158.4000       12.3000  1712215   92.23%
   1400  1206       12.3000   573      158.4000       12.3000  1605697   92.23%
   1412  1212       12.3000   998      158.4000       12.3000  1611161   92.23%
   1419  1225       12.3000   993      158.4000       12.3000  1640086   92.23%
   1428  1248       12.3000   645      158.4000       12.3000  1669448   92.23%
Elapsed time = 5131.56 sec. (2412298.10 ticks, tree = 303.65 MB)
   1440  1251       12.3000   687      158.4000       12.3000  1670968   92.23%
   1452  1273       12.9000   789      158.4000       12.3000  1696318   92.23%
   1457  1230       12.3000   771      158.4000       12.3000  1646403   92.23%
   1462  1220       12.3000   987      158.4000       12.3000  1620174   92.23%
   1470  1256       12.3000   731      158.4000       12.3000  1677012   92.23%
   1481  1245       12.9000   726      158.4000       12.3000  1654455   92.23%
   1486  1277       12.9000   788      158.4000       12.3000  1704095   92.23%
   1496  1315       12.3000   449      158.4000       12.3000  1730796   92.23%
*  1499+ 1341                          156.9000       12.3000            92.16%
   1502  1279       12.9000   797      156.9000       12.3000  1707068   92.16%
   1508  1282       12.9000   799      156.9000       12.3000  1708481   92.16%
Elapsed time = 5290.38 sec. (2455235.88 ticks, tree = 315.27 MB)
   1512  1386       12.3000   692      156.9000       12.3000  1848594   92.16%
   1526  1496       12.9000   690      156.9000       12.3000  1955404   92.16%
   1533  1499       12.9000   583      156.9000       12.3000  1957160   92.16%
   1539  1376       12.3000   808      156.9000       12.3000  1827355   92.16%
   1554  1309       12.3000   907      156.9000       12.3000  1753783   92.16%
   1563  1505       12.9000   523      156.9000       12.3000  1961256   92.16%
   1574  1382       12.3000   647      156.9000       12.3000  1831438   92.16%
   1582  1436       12.9000   656      156.9000       12.3000  1902103   92.16%
   1593  1441       12.9000   527      156.9000       12.3000  1903389   92.16%
   1607  1404       12.3000   772      156.9000       12.3000  1861243   92.16%
Elapsed time = 5457.55 sec. (2496691.55 ticks, tree = 351.52 MB)
   1612  1508       12.9000   819      156.9000       12.3000  1968532   92.16%
   1620  1445       12.9000   954      156.9000       12.3000  1908180   92.16%
   1625  1406       12.3000   780      156.9000       12.3000  1865669   92.16%
   1632  1426       12.3000  1046      156.9000       12.3000  1886022   92.16%
   1642  1407       12.3000   884      156.9000       12.3000  1869617   92.16%
   1653  1509       12.3000   812      156.9000       12.3000  1994120   92.16%
   1658  1458       12.9000   483      156.9000       12.3000  1916484   92.16%
   1671  1532       12.3000   436      156.9000       12.3000  2037172   92.16%
   1676  1510       12.3000  1012      156.9000       12.3000  1998319   92.16%
   1685  1536       12.3000   458      156.9000       12.3000  2040376   92.16%
Elapsed time = 5608.88 sec. (2542682.65 ticks, tree = 394.75 MB)
   1690  1640       12.3000   571      156.9000       12.3000  2151501   92.16%
   1700  1638       12.3000   786      156.9000       12.3000  2152095   92.16%
   1706  1652       12.3000   677      156.9000       12.3000  2174643   92.16%
   1710  1639       12.3000   861      156.9000       12.3000  2154940   92.16%
   1714  1641       12.3000   793      156.9000       12.3000  2156334   92.16%
   1723  1539       12.3000   449      156.9000       12.3000  2050678   92.16%
   1727  1648       12.3000   754      156.9000       12.3000  2160192   92.16%
   1732  1387       12.3000  1103      156.9000       12.3000  1864021   92.16%
   1740  1540       12.3000   867      156.9000       12.3000  2055094   92.16%
   1749  1579       12.3000   618      156.9000       12.3000  2083676   92.16%
Elapsed time = 5781.80 sec. (2589377.95 ticks, tree = 409.31 MB)
   1754  1678       12.3000   566      156.9000       12.3000  2225397   92.16%
   1767  1682       12.3000   586      156.9000       12.3000  2226847   92.16%
   1777  1582       12.3000   619      156.9000       12.3000  2088075   92.16%
   1790  1663       12.3000   776      156.9000       12.3000  2189929   92.16%
   1792  1588       12.3000   646      156.9000       12.3000  2091051   92.16%
   1809  1652       12.3000   853      156.9000       12.3000  2171663   92.16%
   1817  1722       12.3000   843      156.9000       12.3000  2277542   92.16%
   1830  1666       12.3000   538      156.9000       12.3000  2175531   92.16%
   1837  1689       12.3000   816      156.9000       12.3000  2256977   92.16%
   1849  1673       12.3000   642      156.9000       12.3000  2199532   92.16%
Elapsed time = 5939.27 sec. (2635803.58 ticks, tree = 448.53 MB)
   1862  1748       12.3000   747      156.9000       12.3000  2335022   92.16%
   1875  1779       12.3000   597      156.9000       12.3000  2362355   92.16%
   1879  1732       12.3000   546      156.9000       12.3000  2287170   92.16%
   1886  1754       12.3000   735      156.9000       12.3000  2339190   92.16%
   1895  1735       12.3000   762      156.9000       12.3000  2290176   92.16%
   1906  1699       12.3000   454      156.9000       12.3000  2267086   92.16%
   1910  1757       12.3000   787      156.9000       12.3000  2343212   92.16%
   1917  1804       12.3000   512      156.9000       12.3000  2392562   92.16%
   1930  1727       12.3000  1093      156.9000       12.3000  2321607   92.16%
   1938  1806       12.3000   818      156.9000       12.3000  2395204   92.16%
Elapsed time = 6098.86 sec. (2677315.14 ticks, tree = 488.59 MB)
   1944  1613       12.3000   915      156.9000       12.3000  2123697   92.16%
   1949  1809       12.3000   822      156.9000       12.3000  2398020   92.16%
   1960  1847       12.3000   442      156.9000       12.3000  2422607   92.16%
   1962  1793       12.3000   622      156.9000       12.3000  2379221   92.16%
   1968  1747       12.3000  1012      156.9000       12.3000  2304863   92.16%
   1976  1850       12.3000   497      156.9000       12.3000  2427497   92.16%
   1983  1814       12.3000   803      156.9000       12.3000  2406971   92.16%
   1986  1855       12.3000   975      156.9000       12.3000  2433151   92.16%
   1989  1857       12.3000   995      156.9000       12.3000  2437754   92.16%
   1992  1859       12.3000   960      156.9000       12.3000  2443393   92.16%
Elapsed time = 6176.00 sec. (2750897.53 ticks, tree = 507.26 MB)

Performing restart 1

Repeating presolve.
MIP Presolve modified 833812 coefficients.
Reduced MIP has 9949 rows, 99840 columns, and 549492 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
MIP Presolve modified 16380 coefficients.
Reduced MIP has 9949 rows, 99840 columns, and 536766 nonzeros.
Reduced MIP has 1456 binaries, 98384 generals, 0 SOSs, and 0 indicators.
Represolve time = 1.53 sec. (1052.16 ticks)
*  1995+    0                          155.4000       12.3000            92.08%
   1995     0       12.3000  1733      155.4000     Cuts: 895  2653909   92.08%
   1995     0       12.3000  1761      155.4000     Cuts: 926  2677811   92.08%
   1995     0       12.3000  1683      155.4000     Cuts: 982  2728354   92.08%
   1995     0       12.3000  1977      155.4000    Cuts: 1211  2762238   92.08%
   1995     0       12.3000  1849      155.4000     Cuts: 890  2791505   92.08%
   1995     0       12.3000  1899      155.4000    Cuts: 1134  2822170   92.08%
   1995     2       12.3000   954      155.4000       12.3000  2822170   92.08%
   1996     3       12.3000   985      155.4000       12.3000  2825900   92.08%
   1998     5       12.3000   918      155.4000       12.3000  2827140   92.08%
*  1999+    3                          153.9000       12.3000            92.01%
   1999     6       12.3000   933      153.9000       12.3000  2828048   92.01%
   2000     7       12.3000   959      153.9000       12.3000  2828889   92.01%
   2001     8       12.3000   941      153.9000       12.3000  2829475   92.01%
   2003    10       12.3000   863      153.9000       12.3000  2829752   92.01%
   2006    13       12.3000   821      153.9000       12.3000  2830516   92.01%
   2008    15       12.3000   803      153.9000       12.3000  2831282   92.01%
   2010    17       12.3000   829      153.9000       12.3000  2832751   92.01%
Elapsed time = 8145.81 sec. (4640926.98 ticks, tree = 0.72 MB)
   2012    19       12.3000   682      153.9000       12.3000  2834290   92.01%
   2015    22       12.3000   707      153.9000       12.3000  2835246   92.01%
   2020    27       12.3000   551      153.9000       12.3000  2836278   92.01%
   2025    32       12.3000   535      153.9000       12.3000  2837805   92.01%
   2027    34       12.3000   581      153.9000       12.3000  2840161   92.01%
   2035    42       12.3000   472      153.9000       12.3000  2841400   92.01%
   2051    55       12.3000   558      153.9000       12.3000  2843518   92.01%
   2066    64       12.3000   885      153.9000       12.3000  2847111   92.01%
   2071    78       12.3000   461      153.9000       12.3000  2851660   92.01%
   2080    84       12.3000   748      153.9000       12.3000  2861484   92.01%
Elapsed time = 8253.28 sec. (4684408.66 ticks, tree = 9.11 MB)
   2091    89       12.3000   623      153.9000       12.3000  2864233   92.01%
   2108    87       12.3000   859      153.9000       12.3000  2865430   92.01%
   2127   116       12.3000   682      153.9000       12.3000  2876450   92.01%
   2146   111       12.3000   891      153.9000       12.3000  2875271   92.01%
   2155   124       12.3000   757      153.9000       12.3000  2879811   92.01%
   2172   140       12.3000   811      153.9000       12.3000  2889173   92.01%
   2200   172       12.3000   793      153.9000       12.3000  2903855   92.01%
   2234   198       12.3000   527      153.9000       12.3000  2917897   92.01%
   2259   228       12.3000   417      153.9000       12.3000  2922826   92.01%
   2286   273       12.3000   446      153.9000       12.3000  2933529   92.01%
Elapsed time = 8369.17 sec. (4723944.80 ticks, tree = 50.27 MB)
   2315   281       12.3000   515      153.9000       12.3000  2935495   92.01%
   2339   293       12.3000   515      153.9000       12.3000  2942227   92.01%
   2366   336       12.3000   449      153.9000       12.3000  2958265   92.01%
   2401   362       12.3000   658      153.9000       12.3000  2967655   92.01%
   2432   354       12.3000   821      153.9000       12.3000  2965491   92.01%
   2475   428       12.3000   396      153.9000       12.3000  2982273   92.01%
   2503   383       12.3000   692      153.9000       12.3000  2974772   92.01%
   2532   491       12.3000   520      153.9000       12.3000  3005692   92.01%
   2579   546       12.3000   558      153.9000       12.3000  3016889   92.01%
   2600   470       12.3000   554      153.9000       12.3000  3004829   92.01%
Elapsed time = 8502.19 sec. (4763301.80 ticks, tree = 92.44 MB)
   2632   591       12.3000   613      153.9000       12.3000  3036847   92.01%
   2662   598       12.3000   496      153.9000       12.3000  3038657   92.01%
   2686   579       12.3000   437      153.9000       12.3000  3029351   92.01%
   2722   636       12.3000   461      153.9000       12.3000  3059509   92.01%
   2741   667       12.3000   532      153.9000       12.3000  3072828   92.01%
   2757   619       12.3000   717      153.9000       12.3000  3056656   92.01%
   2772   624       12.3000   654      153.9000       12.3000  3058330   92.01%
   2792   704       12.3000   665      153.9000       12.3000  3103742   92.01%
   2819   718       12.3000   556      153.9000       12.3000  3105608   92.01%
   2835   718       12.3000   596      153.9000       12.3000  3112968   92.01%
Elapsed time = 8655.41 sec. (4803103.44 ticks, tree = 151.51 MB)
   2854   704       12.3000   585      153.9000       12.3000  3102326   92.01%
   2869   745       12.3000   567      153.9000       12.3000  3120584   92.01%
   2874   746       12.3000   539      153.9000       12.3000  3120743   92.01%
   2891   781       12.3000   430      153.9000       12.3000  3129336   92.01%
   2922   792       12.3000   508      153.9000       12.3000  3131226   92.01%
   2941   803       12.3000   531      153.9000       12.3000  3134981   92.01%
   2962   806       12.3000   501      153.9000       12.3000  3135026   92.01%
   2971   816       12.3000   650      153.9000       12.3000  3139275   92.01%
   2982   843       12.3000   554      153.9000       12.3000  3149009   92.01%
   2991   852       12.3000   530      153.9000       12.3000  3151275   92.01%
Elapsed time = 8834.42 sec. (4845231.11 ticks, tree = 190.54 MB)
   2995   611       12.3000   470      153.9000       12.3000  3043674   92.01%
   3006   648       12.3000   503      153.9000       12.3000  3063392   92.01%
   3019   873       12.3000   561      153.9000       12.3000  3152764   92.01%
   3041   895       12.3000   383      153.9000       12.3000  3158754   92.01%
   3058   889       12.3000   538      153.9000       12.3000  3156648   92.01%
   3077   902       12.3000   539      153.9000       12.3000  3158596   92.01%
   3091   908       12.3000   446      153.9000       12.3000  3164461   92.01%
   3115   919       12.3000   507      153.9000       12.3000  3170942   92.01%
   3123   958       12.3000   615      153.9000       12.3000  3177837   92.01%
   3142   963       12.3000   570      153.9000       12.3000  3179542   92.01%
Elapsed time = 9060.66 sec. (4902980.41 ticks, tree = 219.85 MB)
   3149  1039       12.3000   548      153.9000       12.3000  3204491   92.01%
   3172  1051       12.3000   643      153.9000       12.3000  3207385   92.01%
   3191  1071       12.3000   776      153.9000       12.3000  3222759   92.01%
   3207  1120       12.3000   393      153.9000       12.3000  3242874   92.01%
   3247  1152       12.3000   556      153.9000       12.3000  3257621   92.01%
   3274  1092       12.3000   522      153.9000       12.3000  3228285   92.01%
   3305  1184       12.3000   536      153.9000       12.3000  3270579   92.01%
   3339  1139       12.3000   511      153.9000       12.3000  3249726   92.01%
   3396   819       12.3000   382      153.9000       12.3000  3139596   92.01%
   3423  1210       12.3000   462      153.9000       12.3000  3275761   92.01%
Elapsed time = 9214.70 sec. (4944981.88 ticks, tree = 289.68 MB)
   3453  1223       12.3000   438      153.9000       12.3000  3284875   92.01%
   3481  1303       12.3000   535      153.9000       12.3000  3305129   92.01%
   3522  1382       12.3000   549      153.9000       12.3000  3332183   92.01%
   3551  1421       12.3000   522      153.9000       12.3000  3343232   92.01%
   3587  1355       12.3000   441      153.9000       12.3000  3319638   92.01%
   3633  1485       12.3000   531      153.9000       12.3000  3363933   92.01%
   3679  1407       12.3000   383      153.9000       12.3000  3339993   92.01%
   3714  1629       12.3000   458      153.9000       12.3000  3434024   92.01%
   3783  1472       12.3000   534      153.9000       12.3000  3360239   92.01%
   3846  1475       12.3000   564      153.9000       12.3000  3362067   92.01%
Elapsed time = 9365.81 sec. (4983649.82 ticks, tree = 368.03 MB)
   3899  1647       12.3000   499      153.9000       12.3000  3439733   92.01%
   3941  1828       12.3000   399      153.9000       12.3000  3490925   92.01%
   3982  1779       12.3000   413      153.9000       12.3000  3471013   92.01%
   4039  1885       12.3000   356      153.9000       12.3000  3516707   92.01%
   4061  1784       12.3000   812      153.9000       12.3000  3474544   92.01%
   4092  1789       12.3000   632      153.9000       12.3000  3476092   92.01%
   4137  1798       12.3000   549      153.9000       12.3000  3477881   92.01%
   4170  2053       12.3000   566      153.9000       12.3000  3574115   92.01%
   4216  2053       12.3000   470      153.9000       12.3000  3565698   92.01%
   4275  2110       12.3000   456      153.9000       12.3000  3588569   92.01%
Elapsed time = 9517.14 sec. (5022344.78 ticks, tree = 562.67 MB)
   4316  2074       12.3000   481      153.9000       12.3000  3570086   92.01%
   4348  2138       12.3000   439      153.9000       12.3000  3592465   92.01%
   4372  2259       12.3000   414      153.9000       12.3000  3652699   92.01%
   4402  2203       12.3000   496      153.9000       12.3000  3636428   92.01%
   4425  2156       12.3000   746      153.9000       12.3000  3617997   92.01%
   4432  2226       12.3000   617      153.9000       12.3000  3647794   92.01%
   4442  2230       12.3000   641      153.9000       12.3000  3649718   92.01%
   4455  2356       12.3000   742      153.9000       12.3000  3678784   92.01%
   4468  2383       12.3000   546      153.9000       12.3000  3696847   92.01%
   4472  2385       12.3000   618      153.9000       12.3000  3698917   92.01%
Elapsed time = 9682.56 sec. (5063905.15 ticks, tree = 650.65 MB)
   4504  2389       12.3000   405      153.9000       12.3000  3689755   92.01%
   4529  2403       12.3000   532      153.9000       12.3000  3703096   92.01%
   4553  2425       12.3000   359      153.9000       12.3000  3694104   92.01%
   4579  2416       12.3000   437      153.9000       12.3000  3707527   92.01%
   4594  2477       12.3000   503      153.9000       12.3000  3721291   92.01%
   4624  2499       12.3000   423      153.9000       12.3000  3723631   92.01%
   4663  2528       12.3000   284      153.9000       12.3000  3726067   92.01%
   4674  2526       12.3000   391      153.9000       12.3000  3738031   92.01%
   4692  2531       12.3000   519      153.9000       12.3000  3740174   92.01%
   4707  2537       12.3000   640      153.9000       12.3000  3748028   92.01%
Elapsed time = 9852.80 sec. (5104620.78 ticks, tree = 699.71 MB)
   4720  2586       12.3000   641      153.9000       12.3000  3756673   92.01%
   4738  2591       12.3000   587      153.9000       12.3000  3758441   92.01%
   4757  2626       12.3000   507      153.9000       12.3000  3772083   92.01%
   4764  2628       12.3000   503      153.9000       12.3000  3773960   92.01%
   4786  2674       12.3000   443      153.9000       12.3000  3782028   92.01%
   4800  2681       12.3000   497      153.9000       12.3000  3788601   92.01%
   4828  2715       12.3000   431      153.9000       12.3000  3799895   92.01%
   4851  2705       12.3000   453      153.9000       12.3000  3792779   92.01%
   4881  2739       12.3000   350      153.9000       12.3000  3803950   92.01%
   4906  2727       12.3000   356      153.9000       12.3000  3796942   92.01%
Elapsed time = 10002.86 sec. (5143907.37 ticks, tree = 765.50 MB)
   4920  2808       12.3000   496      153.9000       12.3000  3824865   92.01%
   4941  2747       12.3000   457      153.9000       12.3000  3809550   92.01%
   5013  2867       12.3000   448      153.9000       12.3000  3844393   92.01%
   5047  2872       12.3000   480      153.9000       12.3000  3846313   92.01%
   5077  2836       12.3000   562      153.9000       12.3000  3841916   92.01%
   5098  2913       12.3000   523      153.9000       12.3000  3860854   92.01%
   5136  2931       12.3000   374      153.9000       12.3000  3863040   92.01%
   5167  2891       12.3000   678      153.9000       12.3000  3854228   92.01%
   5190  3052       12.3000   606      153.9000       12.3000  3912194   92.01%
   5223  3128       12.3000   457      153.9000       12.3000  3932796   92.01%
Elapsed time = 10133.33 sec. (5183159.87 ticks, tree = 891.48 MB)
   5259  3132       12.3000   366      153.9000       12.3000  3934371   92.01%
   5291  3178       12.3000   708      153.9000       12.3000  3959289   92.01%
   5324  3177       12.3000   477      153.9000       12.3000  3952994   92.01%
   5374  3207       12.3000   424      153.9000       12.3000  3969590   92.01%
   5414  3229       12.3000   481      153.9000       12.3000  3981503   92.01%
   5461  3244       12.3000   406      153.9000       12.3000  3983520   92.01%
   5512  3369       12.3000   614      153.9000       12.3000  4028374   92.01%
   5543  3317       12.3000   657      153.9000       12.3000  4011732   92.01%
   5591  3270       12.3000   388      153.9000       12.3000  3989820   92.01%
   5622  3467       12.3000   583      153.9000       12.3000  4061612   92.01%
Elapsed time = 10275.02 sec. (5222426.34 ticks, tree = 1004.68 MB)
   5655  3509       12.3000   504      153.9000       12.3000  4074869   92.01%
   5698  3604       12.3000   452      153.9000       12.3000  4112581   92.01%
   5744  3441       12.3000   443      153.9000       12.3000  4056325   92.01%
   5777  3531       12.3000   414      153.9000       12.3000  4081141   92.01%
   5812  3680       12.3000   480      153.9000       12.3000  4148123   92.01%
   5848  3609       12.3000   385      153.9000       12.3000  4108647   92.01%
   5886  3716       12.3000   352      153.9000       12.3000  4162201   92.01%
   5931  3863       12.3000   846      153.9000       12.3000  4221340   92.01%
   5974  3811       12.3000   785      153.9000       12.3000  4199862   92.01%
   6021  3739       12.3000   292      153.9000       12.3000  4168470   92.01%
Elapsed time = 10429.75 sec. (5261641.27 ticks, tree = 1095.84 MB)
   6075  3713       12.3000   363      153.9000       12.3000  4160445   92.01%
   6119  3874       12.3000   444      153.9000       12.3000  4218773   92.01%
   6160  3892       12.3000   636      153.9000       12.3000  4230869   92.01%
   6187  3897       12.3000   647      153.9000       12.3000  4232994   92.01%
   6214  3921       12.3000   590      153.9000       12.3000  4244576   92.01%
   6249  4023       12.3000   601      153.9000       12.3000  4281927   92.01%
   6281  4159       12.3000   618      153.9000       12.3000  4329067   92.01%
   6320  4165       12.3000   599      153.9000       12.3000  4331049   92.01%
   6352  4100       12.3000   507      153.9000       12.3000  4309320   92.01%
   6384  4225       12.3000   683      153.9000       12.3000  4361522   92.01%
Elapsed time = 10578.34 sec. (5300732.29 ticks, tree = 1260.85 MB)
   6429  4211       12.3000   589      153.9000       12.3000  4345379   92.01%
   6468  4214       12.3000   672      153.9000       12.3000  4347377   92.01%
   6519  4253       12.3000   626      153.9000       12.3000  4378258   92.01%
   6561  4353       12.3000   500      153.9000       12.3000  4416043   92.01%
   6613  4363       12.3000   420      153.9000       12.3000  4418137   92.01%
   6651  4481       12.3000   577      153.9000       12.3000  4467406   92.01%
   6718  4566       12.3000   523      153.9000       12.3000  4493073   92.01%
   6765  4450       12.3000   328      153.9000       12.3000  4450662   92.01%
   6815  4624       12.3000   268      153.9000       12.3000  4509697   92.01%
   6859  4566       12.3000   350      153.9000       12.3000  4487766   92.01%
Elapsed time = 10735.11 sec. (5340311.55 ticks, tree = 1377.71 MB)
   6897  4487       12.3000   477      153.9000       12.3000  4467972   92.01%
   6932  4632       12.3000   542      153.9000       12.3000  4516091   92.01%
   6971  4843       12.3000   589      153.9000       12.3000  4585950   92.01%
   7015  4889       12.3000   396      153.9000       12.3000  4601499   92.01%
   7057  4710       12.3000   599      153.9000       12.3000  4543788   92.01%
   7090  4980       12.3000   614      153.9000       12.3000  4642134   92.01%
   7139  4968       12.3000   498      153.9000       12.3000  4633220   92.01%
   7185  4831       12.3000   438      153.9000       12.3000  4583061   92.01%
   7213  5042       12.3000   345      153.9000       12.3000  4668807   92.01%
   7253  5117       12.3000   450      153.9000       12.3000  4694656   92.01%
Elapsed time = 10890.78 sec. (5379738.43 ticks, tree = 1566.32 MB)
   7283  4996       12.3000   390      153.9000       12.3000  4652009   92.01%
   7307  5127       12.3000   420      153.9000       12.3000  4698819   92.01%
   7351  5136       12.3000   400      153.9000       12.3000  4700945   92.01%
   7408  5166       12.3000   701      153.9000       12.3000  4714966   92.01%
   7443  5276       12.3000   458      153.9000       12.3000  4756833   92.01%
   7481  5288       12.3000   364      153.9000       12.3000  4758949   92.01%
   7518  5370       12.3000   802      153.9000       12.3000  4805451   92.01%
   7559  5375       12.3000   737      153.9000       12.3000  4807134   92.01%
   7598  5402       12.3000   466      153.9000       12.3000  4822476   92.01%
   7635  5432       12.3000   631      153.9000       12.3000  4848496   92.01%
Elapsed time = 11038.98 sec. (5418545.67 ticks, tree = 1673.68 MB)
   7674  5288       12.3000   603      153.9000       12.3000  4775453   92.01%
   7709  5520       12.3000   437      153.9000       12.3000  4866449   92.01%
   7757  5613       12.3000   601      153.9000       12.3000  4902252   92.01%
   7794  5698       12.3000   615      153.9000       12.3000  4941793   92.01%
   7839  5546       12.3000   482      153.9000       12.3000  4880767   92.01%
   7879  5662       12.3000   387      153.9000       12.3000  4919129   92.01%
   7905  5765       12.3000   494      153.9000       12.3000  4972796   92.01%
   7940  5633       12.3000   525      153.9000       12.3000  4912326   92.01%
   7964  5638       12.3000   521      153.9000       12.3000  4914309   92.01%
   7990  5783       12.3000   355      153.9000       12.3000  4978925   92.01%
Elapsed time = 11189.92 sec. (5457322.48 ticks, tree = 1794.43 MB)
   8016  5808       12.3000   380      153.9000       12.3000  4990019   92.01%
   8044  5938       12.3000   803      153.9000       12.3000  5059853   92.01%
   8073  5982       12.3000   488      153.9000       12.3000  5074379   92.01%
   8101  5912       12.3000   697      153.9000       12.3000  5048969   92.01%
   8133  5880       12.3000   568      153.9000       12.3000  5035943   92.01%
   8177  6044       12.3000   549      153.9000       12.3000  5105865   92.01%
   8201  5996       12.3000   635      153.9000       12.3000  5082397   92.01%
   8240  6040       12.3000   349      153.9000       12.3000  5098119   92.01%
   8271  5960       12.3000   916      153.9000       12.3000  5073538   92.01%
   8302  6063       12.3000   575      153.9000       12.3000  5126515   92.01%
Elapsed time = 11344.95 sec. (5496563.96 ticks, tree = 1891.12 MB)
   8331  6202       12.3000   940      153.9000       12.3000  5191049   92.01%
   8363  6118       12.3000   816      153.9000       12.3000  5151814   92.01%
   8385  6260       12.3000   426      153.9000       12.3000  5207770   92.01%
   8410  6208       12.3000   686      153.9000       12.3000  5196741   92.01%
   8444  6187       12.3000   477      153.9000       12.3000  5172667   92.01%
   8465  6213       12.3000   768      153.9000       12.3000  5187071   92.01%
   8493  6427       12.3000   727      153.9000       12.3000  5305192   92.01%
   8543  6341       12.3000   561      153.9000       12.3000  5267116   92.01%
   8566  6486       12.3000   575      153.9000       12.3000  5332804   92.01%
   8588  6391       12.3000   718      153.9000       12.3000  5285253   92.01%
Elapsed time = 11498.58 sec. (5536389.20 ticks, tree = 2003.78 MB)
   8619  6424       12.3000   658      153.9000       12.3000  5299897   92.01%
   8667  6492       12.3000   606      153.9000       12.3000  5339062   92.01%
   8691  6550       12.7340   806      153.9000       12.3000  5353308   92.01%
   8717  6558       12.3000   572      153.9000       12.3000  5381005   92.01%
   8741  6554       12.7856   853      153.9000       12.3000  5357347   92.01%
   8764  6660       12.3000   515      153.9000       12.3000  5438833   92.01%
   8788  6604       12.3000   930      153.9000       12.3000  5413814   92.01%
   8818  6573       12.3000   617      153.9000       12.3000  5389441   92.01%
   8857  6543       12.3000   539      153.9000       12.3000  5377471   92.01%
   8882  6613       12.3000   831      153.9000       12.3000  5419662   92.01%
Elapsed time = 11653.28 sec. (5575551.31 ticks, tree = 2079.72 MB)
Nodefile size = 14.34 MB (3.73 MB after compression)
   8916  6759       12.3000   412      153.9000       12.3000  5486133   92.01%
   8937  6689       12.3000   568      153.9000       12.3000  5464046   92.01%
   8964  6791       12.3000   634      153.9000       12.3000  5504933   92.01%
   8989  6820       12.3000   456      153.9000       12.3000  5520899   92.01%
   9009  6797       12.3000   672      153.9000       12.3000  5509082   92.01%
   9024  6903       12.3000   512      153.9000       12.3000  5564923   92.01%
   9050  6913       12.7547   985      153.9000       12.3000  5579232   92.01%
   9071  6882       12.3000   569      153.9000       12.3000  5555918   92.01%
   9099  6927       13.0010  1004      153.9000       12.3000  5583181   92.01%
   9121  7046       12.3000   633      153.9000       12.3000  5674057   92.01%
Elapsed time = 11797.59 sec. (5615647.14 ticks, tree = 2196.46 MB)
Nodefile size = 135.87 MB (35.17 MB after compression)
   9146  7079       12.3000   512      153.9000       12.3000  5691391   92.01%
   9181  7000       12.3000   869      153.9000       12.3000  5645687   92.01%
   9212  7106       13.2000   744      153.9000       12.3000  5706970   92.01%
   9238  7007       12.3000   769      153.9000       12.3000  5649628   92.01%
   9269  7154       12.3000   586      153.9000       12.3000  5738698   92.01%
   9298  7064       12.3000   502      153.9000       12.3000  5668686   92.01%
   9321  7163       12.3000   542      153.9000       12.3000  5742961   92.01%
   9337  7066       12.3000  1017      153.9000       12.3000  5672805   92.01%
   9361  7116       16.4844   759      153.9000       12.3000  5734912   92.01%
   9381  7198       12.3000   545      153.9000       12.3000  5776650   92.01%
Elapsed time = 11932.77 sec. (5654972.20 ticks, tree = 2239.71 MB)
Nodefile size = 173.57 MB (42.91 MB after compression)
   9398  7200       12.3000   670      153.9000       12.3000  5779018   92.01%
   9420  7221       12.3000   518      153.9000       12.3000  5792132   92.01%
   9433  7357       12.3000   740      153.9000       12.3000  5871129   92.01%
   9461  7291       12.3000   598      153.9000       12.3000  5822709   92.01%
   9481  7294       12.3000   569      153.9000       12.3000  5824747   92.01%
   9501  7299       12.3000   593      153.9000       12.3000  5826741   92.01%
   9522  7334       13.2000   603      153.9000       12.3000  5852664   92.01%
   9544  7424       12.3000   722      153.9000       12.3000  5921094   92.01%
   9557  7391       12.3000   618      153.9000       12.3000  5897849   92.01%
   9569  7394       12.3000   611      153.9000       12.3000  5900013   92.01%
Elapsed time = 12055.30 sec. (5695252.72 ticks, tree = 2292.76 MB)
Nodefile size = 224.03 MB (54.27 MB after compression)
   9583  7454       12.3000   570      153.9000       12.3000  5936344   92.01%
   9598  7432       12.3000   827      153.9000       12.3000  5929061   92.01%
   9620  7518       12.3000   597      153.9000       12.3000  5980036   92.01%
   9635  7522       16.7000  1012      153.9000       12.3000  6004431   92.01%
   9651  7578       12.3000   762      153.9000       12.3000  6048796   92.01%
   9666  7542       12.3000   806      153.9000       12.3000  6014910   92.01%
   9689  7566       12.3000   627      153.9000       12.3000  6038430   92.01%
   9713  7607       12.3000   660      153.9000       12.3000  6064451   92.01%
   9732  7633       14.4000   792      153.9000       12.3000  6100177   92.01%
   9758  7622       12.3000   913      153.9000       12.3000  6084245   92.01%
Elapsed time = 12184.09 sec. (5734597.74 ticks, tree = 2353.22 MB)
Nodefile size = 289.75 MB (69.23 MB after compression)
   9774  7619       12.3000   554      153.9000       12.3000  6070712   92.01%
   9787  7672       12.3000   687      153.9000       12.3000  6130554   92.01%
   9804  7704       12.3000   570      153.9000       12.3000  6144107   92.01%
   9826  7678       12.3000   664      153.9000       12.3000  6134751   92.01%
   9855  7802       14.1000   875      153.9000       12.3000  6230977   92.01%
   9877  7742       12.3000   558      153.9000       12.3000  6184781   92.01%
   9907  7775       12.3000   591      153.9000       12.3000  6202346   92.01%
   9920  7692       12.3000   618      153.9000       12.3000  6143725   92.01%
   9932  7727       12.3000   810      153.9000       12.3000  6156669   92.01%
   9954  7750       12.6720   890      153.9000       12.3000  6193449   92.01%
Elapsed time = 12308.77 sec. (5774807.92 ticks, tree = 2386.19 MB)
Nodefile size = 319.38 MB (72.45 MB after compression)
   9986  7794       12.3000   673      153.9000       12.3000  6226207   92.01%
  10010  7881       21.9594  1042      153.9000       12.3000  6301005   92.01%
  10027  7978       14.1000   641      153.9000       12.3000  6358388   92.01%
  10049  7833       12.3000   534      153.9000       12.3000  6262332   92.01%
  10071  8002       12.3000   534      153.9000       12.3000  6380286   92.01%
  10084  7931       12.3000   535      153.9000       12.3000  6328143   92.01%
  10097  7889    infeasible            153.9000       12.3000  6312066   92.01%
  10121  7896       12.3000   668      153.9000       12.3000  6296530   92.01%
  10138  8035       12.3000   545      153.9000       12.3000  6416761   92.01%
  10160  7894       22.0378   965      153.9000       12.3000  6318598   92.01%
Elapsed time = 12432.73 sec. (5815217.15 ticks, tree = 2425.23 MB)
Nodefile size = 360.46 MB (77.94 MB after compression)
  10190  8000       15.0000   685      153.9000       12.3000  6375966   92.01%
  10223  8080       22.0378   886      153.9000       12.3000  6453232   92.01%
  10243  8077       12.3000   750      153.9000       12.3000  6438298   92.01%
  10272  8081       12.3000   703      153.9000       12.3000  6440288   92.01%
  10295  8126       15.0422   781      153.9000       12.3000  6494641   92.01%
  10319  8091       22.0500   771      153.9000       12.3000  6461620   92.01%
  10341  8154       13.6500   713      153.9000       12.3000  6524872   92.01%
  10364  8135       17.6133   847      153.9000       12.3000  6501360   92.01%
  10388  8158       13.7375   745      153.9000       12.3000  6529155   92.01%
  10423  8148       12.3000   883      153.9000       12.3000  6521962   92.01%
Elapsed time = 12585.72 sec. (5854736.49 ticks, tree = 2493.63 MB)
Nodefile size = 429.18 MB (89.07 MB after compression)
  10437  8244       12.3000   755      153.9000       12.3000  6578840   92.01%
  10464  8315       18.0318   735      153.9000       12.3000  6634941   92.01%
  10474  8255       12.3000   698      153.9000       12.3000  6583292   92.01%
* 10477+ 8316                          141.0000       12.3000            91.28%
  10481  8344       13.8500   775      141.0000       12.3000  6672917   91.28%
  10497  8350       14.0250   666      141.0000       12.3000  6675024   91.28%
  10518  8368       19.9304   730      141.0000       12.3000  6681668   91.28%
  10540  8389       12.3000   592      141.0000       12.3000  6701239   91.28%
  10557  8385       22.5720   769      141.0000       12.3000  6686248   91.28%
  10570  8393       22.2000   739      141.0000       12.3000  6720261   91.28%
  10581  8397       22.2000   708      141.0000       12.3000  6722279   91.28%
Elapsed time = 12719.80 sec. (5896356.79 ticks, tree = 2563.30 MB)
Nodefile size = 500.90 MB (100.91 MB after compression)
  10593  8421       12.3000   726      141.0000       12.3000  6742638   91.28%
  10612  8393       25.4888   788      141.0000       12.3000  6695797   91.28%
  10653  8395       21.5685   750      141.0000       12.3000  6698318   91.28%
  10673  8436       13.6387   917      141.0000       12.3000  6717202   91.28%
  10681  8410       22.2000   747      141.0000       12.3000  6733049   91.28%
  10693  8484       25.4533   725      141.0000       12.3000  6805118   91.28%
  10714  8507       14.1300   748      141.0000       12.3000  6826341   91.28%
  10729  8490       24.5725   733      141.0000       12.3000  6809986   91.28%
  10747  8585       22.2000   714      141.0000       12.3000  6864745   91.28%
  10768  8606       12.9000   908      141.0000       12.3000  6883989   91.28%
Elapsed time = 12840.59 sec. (5936979.57 ticks, tree = 2621.58 MB)
Nodefile size = 558.26 MB (109.77 MB after compression)
  10789  8521       14.1750   715      141.0000       12.3000  6835143   91.28%
  10807  8514       24.8322   593      141.0000       12.3000  6819844   91.28%
  10819  8692       14.2500   783      141.0000       12.3000  6963964   91.28%
  10840  8616       12.3000   738      141.0000       12.3000  6913523   91.28%
  10853  8643       12.3000   695      141.0000       12.3000  6934549   91.28%
  10866  8618       12.3000   717      141.0000       12.3000  6918458   91.28%
  10882  8692       27.6373   707      141.0000       12.3000  6955306   91.28%
  10893  8698       25.4883   751      141.0000       12.3000  6957688   91.28%
  10902  8707       21.0809   923      141.0000       12.3000  6979508   91.28%
  10927  8753       12.3000   640      141.0000       12.3000  7044174   91.28%
Elapsed time = 12952.55 sec. (5981422.08 ticks, tree = 2661.00 MB)
Nodefile size = 598.29 MB (115.17 MB after compression)
  10936  8723       12.9000   824      141.0000       12.3000  6986662   91.28%
  10951  8824       14.2500   666      141.0000       12.3000  7094447   91.28%
  10966  8848       12.3000   547      141.0000       12.3000  7112512   91.28%
  10987  8852       12.3000   453      141.0000       12.3000  7114882   91.28%
  11008  8751       12.6000   694      141.0000       12.3000  7036063   91.28%
  11040  8761       12.6000   854      141.0000       12.3000  7058107   91.28%
  11059  8862       12.3000   425      141.0000       12.3000  7121671   91.28%
  11090  8903       13.0230   743      141.0000       12.3000  7138271   91.28%
  11105  8868       12.3000   608      141.0000       12.3000  7126144   91.28%
  11125  8910       12.6000   633      141.0000       12.3000  7159440   91.28%
Elapsed time = 13084.08 sec. (6022932.94 ticks, tree = 2705.08 MB)
Nodefile size = 641.43 MB (122.54 MB after compression)
  11139  8907       16.6327   863      141.0000       12.3000  7145521   91.28%
  11156  8909       13.0452   812      141.0000       12.3000  7147874   91.28%
  11169  8940       12.4334   834      141.0000       12.3000  7185437   91.28%
  11191  9000       16.9616   771      141.0000       12.3000  7274646   91.28%
  11205  9037       12.3000   383      141.0000       12.3000  7296641   91.28%
  11223  9001       12.9000   863      141.0000       12.3000  7257995   91.28%
  11241  8931       25.3636   903      141.0000       12.3000  7221779   91.28%
  11261  9005       12.9000   782      141.0000       12.3000  7262437   91.28%
  11273  9007       12.9000   804      141.0000       12.3000  7265117   91.28%
  11282  8933       24.6909   961      141.0000       12.3000  7229454   91.28%
Elapsed time = 13209.39 sec. (6064442.03 ticks, tree = 2710.96 MB)
Nodefile size = 647.25 MB (122.84 MB after compression)
  11292  9124       12.9088   860      141.0000       12.3000  7390112   91.28%
  11310  9108       22.2667   854      141.0000       12.3000  7370594   91.28%
  11333  9093       14.1465   782      141.0000       12.3000  7333040   91.28%
  11351  9095       15.0000   889      141.0000       12.3000  7335526   91.28%
  11360  9134       12.7856   813      141.0000       12.3000  7357787   91.28%
  11368  9098       15.6000   894      141.0000       12.3000  7340021   91.28%
  11380  9136       17.8500   817      141.0000       12.3000  7425884   91.28%
  11393  9186       15.6000   949      141.0000       12.3000  7464145   91.28%
  11406  9189       15.6000   852      141.0000       12.3000  7466421   91.28%
  11414  9191       15.6000   828      141.0000       12.3000  7468521   91.28%
Elapsed time = 13343.59 sec. (6105053.48 ticks, tree = 2791.00 MB)
Nodefile size = 726.89 MB (136.38 MB after compression)
  11422  9258       12.9364   849      141.0000       12.3000  7514861   91.28%
  11439  9142       19.3504   962      141.0000       12.3000  7415590   91.28%
  11469  9226       14.1470   828      141.0000       12.3000  7487382   91.28%
  11508  9359       22.3125   829      141.0000       12.3000  7633006   91.28%
  11520  9317       13.2000   792      141.0000       12.3000  7556561   91.28%
  11534  9332       25.3682   617      141.0000       12.3000  7534050   91.28%
  11550  9377       15.6118   772      141.0000       12.3000  7655535   91.28%
  11568  9379       15.6000   750      141.0000       12.3000  7657895   91.28%
  11640  9326       20.9430   899      141.0000       12.3000  7590854   91.28%
  11657  9329       13.2000   752      141.0000       12.3000  7567454   91.28%
Elapsed time = 13480.56 sec. (6145348.04 ticks, tree = 2830.24 MB)
Nodefile size = 763.32 MB (141.57 MB after compression)
  11667  9366       54.8810   594      141.0000       12.3000  7546120   91.28%
  11677  9438       14.4000   719      141.0000       12.3000  7671384   91.28%
  11693  9331       14.2500   730      141.0000       12.3000  7600436   91.28%
  11705  9472       56.1495   694      141.0000       12.3000  7696268   91.28%
  11719  9532       12.7110   639      141.0000       12.3000  7759325   91.28%
  11732  9366       12.3000   638      141.0000       12.3000  7619251   91.28%
  11751  9515       22.5000   798      141.0000       12.3000  7744709   91.28%
  11767  9652       14.4554   727      141.0000       12.3000  7850954   91.28%
  11783  9521       22.5000   760      141.0000       12.3000  7748914   91.28%
  11797  9555       12.3000   492      141.0000       12.3000  7784475   91.28%
Elapsed time = 13618.59 sec. (6185848.44 ticks, tree = 2896.44 MB)
Nodefile size = 832.63 MB (152.92 MB after compression)
  11811  9659       14.7000   731      141.0000       12.3000  7857920   91.28%
  11821  9477       27.4455   615      141.0000       12.3000  7701935   91.28%
  11829  9564       12.3151   886      141.0000       12.3000  7792325   91.28%
  11857  9677       23.6520   667      141.0000       12.3000  7865861   91.28%
  11880  9688    infeasible            141.0000       12.3000  7868358   91.28%
  11895  9693       23.7469   701      141.0000       12.3000  7870778   91.28%
  11912  9721       14.2500   724      141.0000       12.3000  7962774   91.28%
  11940  9669       80.9624   518      141.0000       12.3000  7877075   91.28%
  11980  9812       24.2792   692      141.0000       12.3000  8014259   91.28%
  12012  9690       30.9495   645      141.0000       12.3000  7881711   91.28%
Elapsed time = 13751.53 sec. (6228090.40 ticks, tree = 2936.45 MB)
Nodefile size = 863.95 MB (157.78 MB after compression)
  12043  9698       30.9353   630      141.0000       12.3000  7884195   91.28%
  12085  9677       13.2000   761      141.0000       12.3000  7906543   91.28%
  12115  9827       12.6000   499      141.0000       12.3000  8049180   91.28%
  12141  9857       25.8894   664      141.0000       12.3000  8025921   91.28%
  12176  9834       12.6000   537      141.0000       12.3000  8053337   91.28%
  12204  9930       13.3304   664      141.0000       12.3000  8117844   91.28%
  12211  9766       14.4000   592      141.0000       12.3000  7983690   91.28%
  12240  9929       32.0137   637      141.0000       12.3000  8075391   91.28%
  12269  9942       31.7841   576      141.0000       12.3000  8077611   91.28%
  12306 10000       16.5000   425      141.0000       12.3000  8155705   91.28%
Elapsed time = 13892.41 sec. (6268008.04 ticks, tree = 3026.47 MB)
Nodefile size = 963.07 MB (172.55 MB after compression)
  12326 10093       12.6000   639      141.0000       12.3000  8209869   91.28%
  12359  9972       33.2535   572      141.0000       12.3000  8085068   91.28%
  12387 10006       16.5000   574      141.0000       12.3000  8163300   91.28%
  12402 10085       25.9682   648      141.0000       12.3000  8169887   91.28%
  12425 10102       25.5150   672      141.0000       12.3000  8172311   91.28%
  12456 10026       16.7293   695      141.0000       12.3000  8169808   91.28%
  12482 10031       17.3475   662      141.0000       12.3000  8171985   91.28%
  12527 10124       26.3517   616      141.0000       12.3000  8180070   91.28%
* 12535+10124                          140.7000       12.3000            91.26%
  12543 10121       12.6375   473      140.7000       12.3000  8224660   91.26%
  12562 10124       12.6375   464      140.7000       12.3000  8226675   91.26%
Elapsed time = 13986.81 sec. (6308319.92 ticks, tree = 3064.88 MB)
Nodefile size = 992.25 MB (179.11 MB after compression)
  12590 10221       25.5237   611      140.7000       12.3000  8277745   91.26%
  12617 10231       25.7288   581      140.7000       12.3000  8278957   91.26%
  12645 10115       13.7220   864      140.7000       12.3000  8247361   91.26%
  12681 10416       31.8090   549      140.7000       12.3000  8382463   91.26%
  12713 10312       20.5191   833      140.7000       12.3000  8342295   91.26%
  12747 10280       17.5571   638      140.7000       12.3000  8326197   91.26%
  12791 10154       13.6875   651      140.7000       12.3000  8278643   91.26%
  12840 10290       26.3382   520      140.7000       12.3000  8287172   91.26%
* 12860+10291                          139.2000       12.3000            91.16%
  12861 10437       32.2722   556      139.2000       12.3000  8392990   91.16%
  12893 10352       20.8991   628      139.2000       12.3000  8349129   91.16%
Elapsed time = 14109.00 sec. (6347416.13 ticks, tree = 3132.37 MB)
Nodefile size = 1050.87 MB (189.78 MB after compression)
  12933 10572       26.3680   643      139.2000       12.3000  8442613   91.16%
  12977 10443       13.4313   933      139.2000       12.3000  8412609   91.16%
  12998 10596       27.4303   570      139.2000       12.3000  8444951   91.16%
  13046 10476       32.2950   597      139.2000       12.3000  8401001   91.16%
  13079 10611       37.2634   617      139.2000       12.3000  8447171   91.16%
  13124 10649       24.0300   713      139.2000       12.3000  8505286   91.16%
  13161 10627       27.5515   562      139.2000       12.3000  8448936   91.16%
  13191 10495       13.8000   621      139.2000       12.3000  8444432   91.16%
  13230 10638       29.6170   574      139.2000       12.3000  8451619   91.16%
  13263 10601       15.0000   621      139.2000       12.3000  8483201   91.16%
Elapsed time = 14212.81 sec. (6386494.21 ticks, tree = 3201.65 MB)
Nodefile size = 1135.28 MB (202.36 MB after compression)
  13306 10667       24.0500   728      139.2000       12.3000  8514514   91.16%
  13337 10958       27.7231   573      139.2000       12.3000  8603264   91.16%
  13383 10984       15.3048   551      139.2000       12.3000  8627299   91.16%
  13399 10680       24.0500   566      139.2000       12.3000  8519932   91.16%
  13426 10733       32.7300   599      139.2000       12.3000  8536652   91.16%
  13440 11024       24.0500   747      139.2000       12.3000  8649428   91.16%
  13475 11028       24.0500   650      139.2000       12.3000  8651238   91.16%
  13512 10965       27.7248   564      139.2000       12.3000  8604111   91.16%
  13568 10856       14.3079   905      139.2000       12.3000  8569422   91.16%
  13615 11037       24.0500   784      139.2000       12.3000  8656890   91.16%
Elapsed time = 14325.39 sec. (6425290.34 ticks, tree = 3331.80 MB)
Nodefile size = 1265.73 MB (226.90 MB after compression)
  13653 10868       14.4151   892      139.2000       12.3000  8572467   91.16%
  13679 10984       34.3767   733      139.2000       12.3000  8610272   91.16%
  13699 10880       16.7182   690      139.2000       12.3000  8613618   91.16%
  13720 11181       32.0268   610      139.2000       12.3000  8700526   91.16%
  13748 11246       21.6797   675      139.2000       12.3000  8740966   91.16%
  13783 11200       32.7161   669      139.2000       12.3000  8703392   91.16%
  13813 11261       22.6362   638      139.2000       12.3000  8744091   91.16%
  13844 11205       13.8000   552      139.2000       12.3000  8734315   91.16%
  13892 11328       16.8000   483      139.2000       12.3000  8756798   91.16%
  13944 11412       21.9000   427      139.2000       12.3000  8781556   91.16%
Elapsed time = 14459.98 sec. (6464600.91 ticks, tree = 3445.02 MB)
Nodefile size = 1380.86 MB (248.22 MB after compression)
  13987 11217       32.7161   667      139.2000       12.3000  8704891   91.16%
  14039 11344       24.0500   651      139.2000       12.3000  8770360   91.16%
  14057 11468       35.9750   551      139.2000       12.3000  8813874   91.16%
  14073 11473       36.2377   570      139.2000       12.3000  8815933   91.16%
  14111 11282       22.9397   581      139.2000       12.3000  8747602   91.16%
  14142 11443       22.1889   557      139.2000       12.3000  8793604   91.16%
  14168 11452       22.6714   435      139.2000       12.3000  8795094   91.16%
  14183 11456       22.5343   493      139.2000       12.3000  8797562   91.16%
  14221 11465       24.0955   524      139.2000       12.3000  8798936   91.16%
  14250 11568       13.8000   536      139.2000       12.3000  8861621   91.16%
Elapsed time = 14560.70 sec. (6504627.24 ticks, tree = 3488.20 MB)
Nodefile size = 1424.86 MB (254.25 MB after compression)
  14272 11657       42.6312   601      139.2000       12.3000  8902011   91.16%
  14299 11776       35.9124   672      139.2000       12.3000  8964400   91.16%
  14322 11780       35.9105   649      139.2000       12.3000  8967248   91.16%
  14376 11575       13.8000   539      139.2000       12.3000  8870346   91.16%
  14399 11596       33.7682   564      139.2000       12.3000  8853198   91.16%
  14433 11800       35.9478   615      139.2000       12.3000  8973349   91.16%
  14470 11624       33.7993   520      139.2000       12.3000  8854980   91.16%
  14499 11685       40.6035   531      139.2000       12.3000  8923692   91.16%
  14550 11689       77.4214   534      139.2000       12.3000  8926475   91.16%
  14605 11690       24.4000   647      139.2000       12.3000  8939198   91.16%
Elapsed time = 14677.06 sec. (6543653.49 ticks, tree = 3526.28 MB)
Nodefile size = 1454.60 MB (259.10 MB after compression)
  14644 11889       34.1974   591      139.2000       12.3000  8991664   91.16%
  14698 11939       19.9663   795      139.2000       12.3000  9027704   91.16%
  14733 11837       35.9497   620      139.2000       12.3000  8986519   91.16%
  14753 11881       13.9541   665      139.2000       12.3000  9018091   91.16%
  14787 12082       35.9501   635      139.2000       12.3000  9135528   91.16%
  14830 12154       46.2750   320      139.2000       12.3000  9164880   91.16%
  14855 11999       35.9811   579      139.2000       12.3000  9074934   91.16%
  14924 11886       13.8000   489      139.2000       12.3000  9027139   91.16%
  14954 12183       46.5000   340      139.2000       12.3000  9171730   91.16%
* 14978+12006                          137.4000       12.3000            91.05%
* 14980+12006                          136.2000       12.3000            90.97%
  15017 12088       35.9586   643      136.2000       12.3000  9145813   90.97%
Elapsed time = 14793.59 sec. (6583094.47 ticks, tree = 3644.09 MB)
Nodefile size = 1578.76 MB (282.72 MB after compression)
  15061 12333       20.6711   710      136.2000       12.3000  9204794   90.97%
  15120 12091       36.1015   559      136.2000       12.3000  9149748   90.97%
  15173 12222       36.5947   545      136.2000       12.3000  9184182   90.97%
  15196 12229       36.6090   449      136.2000       12.3000  9186744   90.97%
  15217 12110       36.1487   563      136.2000       12.3000  9150222   90.97%
  15240 12280       35.3294   492      136.2000       12.3000  9206345   90.97%
  15285 12257       41.5027   572      136.2000       12.3000  9192319   90.97%
  15349 12271       36.6716   461      136.2000       12.3000  9193434   90.97%
  15393 12380       17.9103   660      136.2000       12.3000  9269080   90.97%
  15416 12395       21.7750   571      136.2000       12.3000  9212262   90.97%
Elapsed time = 14937.06 sec. (6622048.90 ticks, tree = 3740.27 MB)
Nodefile size = 1653.12 MB (295.89 MB after compression)
  15441 12475       66.0000   413      136.2000       12.3000  9315088   90.97%
  15470 12363       14.1750   566      136.2000       12.3000  9259151   90.97%
  15507 12620    infeasible            136.2000       12.3000  9349961   90.97%
  15554 12762       30.5113   754      136.2000       12.3000  9403903   90.97%
  15600 12510       66.0000   353      136.2000       12.3000  9330351   90.97%
  15643 12558       46.5000   244      136.2000       12.3000  9344303   90.97%
  15674 12530       80.5000   477      136.2000       12.3000  9337923   90.97%
* 15680+12771                          122.4000       12.3000            89.95%
  15710 12572       46.5000   216      122.4000       12.3000  9351761   89.95%
  15740 12676       41.1043   382      122.4000       12.3000  9368566   89.95%
  15788 12703       47.1000   354      122.4000       12.3000  9371598   89.95%
Elapsed time = 15055.00 sec. (6663018.93 ticks, tree = 3832.63 MB)
Nodefile size = 1739.99 MB (313.01 MB after compression)
  15840 13020       46.5000   346      122.4000       12.3000  9551446   89.95%
  15875 12947       24.5952   824      122.4000       12.3000  9500975   89.95%
  15907 12930       72.0000   417      122.4000       12.3000  9492085   89.95%
  15974 12726       41.1194   337      122.4000       12.3000  9381850   89.95%
  16073 12843       21.1583   682      122.4000       12.3000  9457584   89.95%
* 16130+13000                          119.4000       12.3000            89.70%
* 16131+13000                          118.2000       12.3000            89.59%
  16138 12855       21.2594   687      118.2000       12.3000  9459935   89.59%
  16234 13221       17.3555   558      118.2000       12.3000  9602185   89.59%
  16284 13226       17.3743   595      118.2000       12.3000  9604567   89.59%
  16337 12988       72.0000   217      118.2000       12.3000  9511814   89.59%
  16378 12998       72.0000   265      118.2000       12.3000  9514748   89.59%
Elapsed time = 15202.81 sec. (6702421.92 ticks, tree = 3923.81 MB)
Nodefile size = 1831.62 MB (330.57 MB after compression)
  16422 13003       72.0000   315      118.2000       12.3000  9518357   89.59%
  16444 13337       34.0714   678      118.2000       12.3000  9671948   89.59%
  16462 13423       72.0000   315      118.2000       12.3000  9717142   89.59%
  16486 13557       22.2104   670      118.2000       12.3000  9749728   89.59%
  16508 13200       46.8667   545      118.2000       12.3000  9619640   89.59%
  16553 13575       21.4881   637      118.2000       12.3000  9754938   89.59%
  16601 13276       22.1524   543      118.2000       12.3000  9627798   89.59%
  16645 13286       37.1397   553      118.2000       12.3000  9671044   89.59%
  16680 13673       51.9000   319      118.2000       12.3000  9835628   89.59%
  16718 13432       72.0000   322      118.2000       12.3000  9721901   89.59%
Elapsed time = 15339.80 sec. (6742887.98 ticks, tree = 4048.17 MB)
Nodefile size = 1980.54 MB (357.07 MB after compression)
  16765 13763       22.3368   620      118.2000       12.3000  9871618   89.59%
  16811 13815       35.3452   492      118.2000       12.3000  9915500   89.59%
  16881 13686       61.8400   335      118.2000       12.3000  9817148   89.59%
  16915 13416       34.4770   548      118.2000       12.3000  9702358   89.59%
  16931 13830       43.8482   579      118.2000       12.3000  9924652   89.59%
  16965 13467       72.0000   379      118.2000       12.3000  9740195   89.59%
* 16971+13693                          115.8000       12.3000            89.38%
  17007 13957       51.9000   294      115.8000       12.3000  9977719   89.38%
  17114 14089       21.4916   617      115.8000       12.3000 10037340   89.38%
* 17164+14117                          112.8000       12.3000            89.10%
  17203 14050       34.7667   559      112.8000       12.3000 10009874   89.10%
  17255 13972       53.1000   338      112.8000       12.3000  9988451   89.10%
Elapsed time = 15490.84 sec. (6782065.15 ticks, tree = 4206.73 MB)
Nodefile size = 2136.53 MB (382.49 MB after compression)
  17301 14064       34.7667   549      112.8000       12.3000 10015372   89.10%
  17396 13853       35.3991   651      112.8000       12.3000  9933003   89.10%
  17450 14271       66.0682   493      112.8000       12.3000 10081615   89.10%
  17501 14093    infeasible            112.8000       12.3000 10023973   89.10%
  17541 14303       74.1000   258      112.8000       12.3000 10089464   89.10%
* 17557+14093                          108.6000       12.3000            88.67%
* 17566+14093                          108.3000       12.3000            88.64%
* 17578+14093                          106.8000       12.3000            88.48%
  17584 14095       36.1200   506      106.8000       12.3000 10025620   88.48%
  17623 14503       37.9200   522      106.8000       12.3000 10177454   88.48%
  17675 14040       54.2841   380      106.8000       12.3000 10017621   88.48%
  17707 14348       32.7000   533      106.8000       12.3000 10136040   88.48%
  17722 14416    infeasible            106.8000       12.3000 10167230   88.48%
Elapsed time = 15602.34 sec. (6822104.04 ticks, tree = 4344.03 MB)
Nodefile size = 2275.60 MB (407.91 MB after compression)
  17767 14155       23.8679   699      106.8000       12.3000 10073193   88.48%
  17825 14379       57.9000   516      106.8000       12.3000 10144020   88.48%
  17873 14429    infeasible            106.8000       12.3000 10175160   88.48%
  17945 14517       34.8104   551      106.8000       12.3000 10198465   88.48%
  17992 14429    infeasible            106.8000       12.3000 10182408   88.48%
  18041 14828       59.8500   228      106.8000       12.3000 10337411   88.48%
* 18066+14662                          106.5000       12.3000            88.45%
* 18075+14662                          106.2000       12.3000            88.42%
  18107 14853       60.2127   323      106.2000       12.3000 10340797   88.42%
  18271 14919       70.2000   182      106.2000       12.3000 10345316   88.42%
  18418 14686       74.4000   243      106.2000       12.3000 10269121   88.42%
  18502 14975       35.4358   402      106.2000       12.3000 10407683   88.42%
Elapsed time = 15752.34 sec. (6861264.85 ticks, tree = 4508.95 MB)
Nodefile size = 2435.59 MB (435.45 MB after compression)
  18576 15006       25.1718   751      106.2000       12.3000 10442904   88.42%
  18679 14982       35.4358   402      106.2000       12.3000 10414198   88.42%
  18803 15258       83.0500   144      106.2000       12.3000 10498800   88.42%
  18909 15107    infeasible            106.2000       12.3000 10491215   88.42%
  18996 14964       62.7000   495      106.2000       12.3000 10393699   88.42%
  19080 14760       21.6750   305      106.2000       12.3000 10322761   88.42%
  19150 15207       95.6000   183      106.2000       12.3000 10400487   88.42%
  19230 15251      102.0000   164      106.2000       12.3000 10403946   88.42%
* 19237+14767                          102.0000       12.3000            87.94%
  19301 14985       65.7000   352      102.0000       12.3000 10399790   87.94%
  19402 15001       62.7000   375      102.0000       12.3000 10403050   87.94%
Elapsed time = 15846.84 sec. (6899844.51 ticks, tree = 4524.43 MB)
Nodefile size = 2414.05 MB (431.59 MB after compression)
  19508 15455       73.5000   451      102.0000       12.3000 10619645   87.94%
  19582 15858       35.6565   363      102.0000       12.3000 10692286   87.94%
* 19615+15055                          100.5000       12.3000            87.76%
* 19615+15055                          100.2000       12.3000            87.72%
* 19629+15055                           97.8000       12.3000            87.42%
  19632 15143    infeasible             97.8000       12.3000 10517551   87.42%
  19671 15364       21.9000   296       97.8000       12.3000 10590554   87.42%
  19717 15500       65.8773   372       97.8000       12.3000 10635303   87.42%
  19784 15895       37.2000   247       97.8000       12.3000 10699136   87.42%
  19845 15895       26.0441   837       97.8000       12.3000 10727798   87.42%
  19941 15901       26.1548   781       97.8000       12.3000 10730314   87.42%
  20003 15535       72.1800   573       97.8000       12.3000 10644299   87.42%
  20052 15407       22.7400   327       97.8000       12.3000 10607584   87.42%
Elapsed time = 16022.73 sec. (6938913.15 ticks, tree = 4644.38 MB)
Nodefile size = 2548.26 MB (456.43 MB after compression)
  20106 15927       37.3916   327       97.8000       12.3000 10709489   87.42%
  20162 15565       65.8091   246       97.8000       12.3000 10657243   87.42%
  20204 16028       36.1126   514       97.8000       12.3000 10787046   87.42%
  20267 15586       65.8091   341       97.8000       12.3000 10664085   87.42%
  20317 15945       26.4313   727       97.8000       12.3000 10744273   87.42%
  20364 16371       65.8091   319       97.8000       12.3000 10905683   87.42%
  20416 16115       12.3000   431       97.8000       12.3000 10792288   87.42%
  20458 16246       24.6900   397       97.8000       12.3000 10862150   87.42%
  20500 16476       38.5380   294       97.8000       12.3000 10936685   87.42%
  20588 16413       65.8333   363       97.8000       12.3000 10921066   87.42%
Elapsed time = 16143.52 sec. (6977927.28 ticks, tree = 4943.09 MB)
Nodefile size = 2856.37 MB (507.86 MB after compression)
  20645 16654       39.9000   464       97.8000       12.3000 10992754   87.42%
  20686 16276       24.7549   435       97.8000       12.3000 10875641   87.42%
  20742 16441       74.4000   378       97.8000       12.3000 10932337   87.42%
  20819 16511       40.2000   222       97.8000       12.3000 10950459   87.42%
* 20844+16458                           96.3000       12.3000            87.23%
* 20845+16458                           95.1000       12.3000            87.07%
  20868 16853       75.2000   361       95.1000       12.3000 11105082   87.07%
  20934 16516       68.3250   532       95.1000       12.3000 10957338   87.07%
  20982 16691    infeasible             95.1000       12.3000 11011418   87.07%
  21044 16906       81.6000   243       95.1000       12.3000 11118915   87.07%
  21104 16920       35.7446   517       95.1000       12.3000 11130638   87.07%
  21165 16766       12.3000   731       95.1000       12.3000 11055256   87.07%
Elapsed time = 16293.55 sec. (7016495.87 ticks, tree = 5044.77 MB)
Nodefile size = 2965.75 MB (528.63 MB after compression)
  21186 16798       12.3000  1047       95.1000       12.3000 11083751   87.07%
  21260 16957       36.3247   544       95.1000       12.3000 11139969   87.07%
  21301 16718       12.3000   474       95.1000       12.3000 11035207   87.07%
  21339 17212       68.4000   276       95.1000       12.3000 11255548   87.07%
  21368 17221       68.4000   295       95.1000       12.3000 11257152   87.07%
  21426 16991       36.3464   502       95.1000       12.3000 11154196   87.07%
  21474 16995    infeasible             95.1000       12.3000 11157466   87.07%
  21525 16974       12.3000   413       95.1000       12.3000 11138526   87.07%
  21548 17086       30.1058   532       95.1000       12.3000 11185331   87.07%
  21590 17295       12.3000   468       95.1000       12.3000 11308787   87.07%
Elapsed time = 16391.73 sec. (7055548.64 ticks, tree = 5198.59 MB)
Nodefile size = 3130.18 MB (560.80 MB after compression)
  21650 17261       76.8000   238       95.1000       12.3000 11274214   87.07%
  21680 17143       39.9902   349       95.1000       12.3000 11215955   87.07%
  21705 17025       46.5000   295       95.1000       12.3000 11181427   87.07%
  21725 17600       48.9000   415       95.1000       12.3000 11429086   87.07%
  21746 17267       76.8000   283       95.1000       12.3000 11275666   87.07%
  21780 17509       12.3000   390       95.1000       12.3000 11385095   87.07%
  21809 17516       12.3000   324       95.1000       12.3000 11386893   87.07%
  21842 17752       90.2400   248       95.1000       12.3000 11480773   87.07%
* 21857+17109                           94.8000       12.3000            87.03%
  21873 17622       36.4325   573       94.8000       12.3000 11443945   87.03%
  21911 17772       90.2400   190       94.8000       12.3000 11483423   87.03%
Elapsed time = 16520.48 sec. (7094886.08 ticks, tree = 5339.22 MB)
Nodefile size = 3255.05 MB (584.55 MB after compression)
  21948 17784       90.3000   141       94.8000       12.3000 11484321   87.03%
  21987 17333       12.3000   440       94.8000       12.3000 11329504   87.03%
  22029 17805       90.3000   127       94.8000       12.3000 11487559   87.03%
  22068 17337       12.3000   470       94.8000       12.3000 11333393   87.03%
  22097 17908       12.3000   441       94.8000       12.3000 11566205   87.03%
* 22118+17806                           94.8000       12.3000            87.03%
  22118 18007       12.3000   354       94.8000       12.3000 11617123   87.03%
* 22119+17806                           93.6000       12.3000            86.86%
  22139 18068       90.3000   130       93.6000       12.3000 11630131   86.86%
  22173 18078       90.3000   129       93.6000       12.3000 11630732   86.86%
  22202 17926       12.3000   578       93.6000       12.3000 11572776   86.86%
  22232 17872       32.7000   284       93.6000       12.3000 11537496   86.86%
Elapsed time = 16645.81 sec. (7134293.03 ticks, tree = 5368.24 MB)
Nodefile size = 3279.77 MB (588.59 MB after compression)
  22257 17939       12.3000   362       93.6000       12.3000 11575816   86.86%
  22293 17877       32.7000   225       93.6000       12.3000 11543302   86.86%
  22336 18181       26.9500   249       93.6000       12.3000 11706014   86.86%
  22373 18130       12.3000   426       93.6000       12.3000 11636839   86.86%
  22390 18188       26.9500   249       93.6000       12.3000 11713666   86.86%
  22420 18145       36.6500   449       93.6000       12.3000 11680780   86.86%
  22443 18238       32.7000   184       93.6000       12.3000 11752428   86.86%
  22468 17962       12.3000   373       93.6000       12.3000 11587859   86.86%
  22497 18175       47.7000   486       93.6000       12.3000 11688622   86.86%
  22516 18049       12.3000   347       93.6000       12.3000 11641566   86.86%
Elapsed time = 16765.89 sec. (7173552.41 ticks, tree = 5413.54 MB)
Nodefile size = 3329.99 MB (600.04 MB after compression)
  22544 18264       12.3000   456       93.6000       12.3000 11783777   86.86%
  22568 18193       41.7000   463       93.6000       12.3000 11695256   86.86%
  22584 18297       12.3000   384       93.6000       12.3000 11809731   86.86%
  22612 18248       32.7000   216       93.6000       12.3000 11779793   86.86%
  22643 18211       41.0893   325       93.6000       12.3000 11704954   86.86%
  22674 18416       12.3000   404       93.6000       12.3000 11861284   86.86%
  22696 18279       12.3000   473       93.6000       12.3000 11796736   86.86%
  22724 18498       12.3000   726       93.6000       12.3000 11886656   86.86%
  22742 18316       12.3000   407       93.6000       12.3000 11819442   86.86%
  22767 18357       12.3000   334       93.6000       12.3000 11846883   86.86%
Elapsed time = 16908.06 sec. (7214377.29 ticks, tree = 5501.65 MB)
Nodefile size = 3424.64 MB (618.40 MB after compression)
  22783 18319       12.3000   811       93.6000       12.3000 11822888   86.86%
  22802 18663       44.7000   439       93.6000       12.3000 11974489   86.86%
  22828 18454       12.3000   451       93.6000       12.3000 11874656   86.86%
  22865 18572       34.2000   348       93.6000       12.3000 11946220   86.86%
* 22878+18254                           92.1000       12.3000            86.64%
* 22882+18254                           90.6000       12.3000            86.42%
  22897 18577       27.4857   386       90.6000       12.3000 11950257   86.42%
  22974 18682       12.3000   488       90.6000       12.3000 12001004   86.42%
  23024 18631       32.7000   211       90.6000       12.3000 12053053   86.42%
  23096 18688       12.3000   438       90.6000       12.3000 12005217   86.42%
  23122 18763       12.3000   438       90.6000       12.3000 12101079   86.42%
  23210 18991       48.6048   344       90.6000       12.3000 12198896   86.42%
Elapsed time = 17082.75 sec. (7265612.41 ticks, tree = 5675.67 MB)
Nodefile size = 3602.56 MB (660.91 MB after compression)
  23416 19049       57.6000    99       90.6000       12.3000 12216565   86.42%
  23604 19231    infeasible             90.6000       12.3000 12264218   86.42%
* 23699+19243                           88.8000       12.3000            86.15%
  23760 19189       45.0000   410       88.8000       12.3000 12301847   86.15%
  23912 19203       45.0000   408       88.8000       12.3000 12317304   86.15%
  24063 19353       12.3000   507       88.8000       12.3000 12425893   86.15%
  24104 19359       12.3000   470       88.8000       12.3000 12433248   86.15%
  24282 19658       81.9750   242       88.8000       12.3000 12485856   86.15%
  24442 19733       79.2940   227       88.8000       12.3000 12497829   86.15%
  24526 19597    infeasible             88.8000       12.3000 12558738   86.15%
  24650 20108       84.6800   176       88.8000       12.3000 12673639   86.15%
Elapsed time = 17571.05 sec. (7419112.01 ticks, tree = 6010.12 MB)
Nodefile size = 3914.59 MB (724.83 MB after compression)
  24862 19798       12.3000   514       88.8000       12.3000 12630705   86.15%
  24952 20108       12.6000   749       88.8000       12.3000 12742996   86.15%
  25252 20180    infeasible             88.8000       12.3000 12856992   86.15%
  25371 20215       13.2000   621       88.8000       12.3000 12858090   86.15%
  25470 20153       12.6000   529       88.8000       12.3000 12771981   86.15%
* 25577+20445                           85.5000       12.3000            85.61%
* 25577+20445                           85.2000       12.3000            85.56%
* 25580+20445                           84.3000       12.3000            85.41%
* 25580+20445                           84.0000       12.3000            85.36%
  25583 20447       12.3000   663       84.0000       12.3000 12928069   85.36%
  25691 20659       13.2000   574       84.0000       12.3000 13090026   85.36%
  25767 20536       12.3000   609       84.0000       12.3000 13220085   85.36%
  25852 20704       59.7000   172       84.0000       12.3000 13096948   85.36%
  25930 20631       12.3000   416       84.0000       12.3000 13268267   85.36%
Elapsed time = 18072.94 sec. (7573759.11 ticks, tree = 6129.23 MB)
Nodefile size = 4055.59 MB (750.12 MB after compression)
Starting limited solution polishing.
  25997 20766       59.7000   160       84.0000       12.3000 13344102   85.36%
  26072 20960       12.3000   821       84.0000       12.3000 13514811   85.36%
  26164 20808       59.7517   461       84.0000       12.3000 13365586   85.36%
  26238 20864       12.3000   415       84.0000       12.3000 13432133   85.36%
  26324 21134    infeasible             84.0000       12.3000 13620932   85.36%
  26454 21207       12.3000   478       84.0000       12.3000 13672348   85.36%
* 26599+21171                           82.2000       12.3000            85.04%
  26622 21060       12.3000   548       82.2000       12.3000 13562237   85.04%
  26797 21086       12.3000   478       82.2000       12.3000 13583242   85.04%
* 26831+21379                           80.7000       12.3000            84.76%
  26860 21305       18.9000   931       80.7000       12.3000 13732838   84.76%
* 26876+21379                           79.2000       12.3000            84.47%
  26974 21374       12.3000   921       79.2000       12.3000 13915338   84.47%
Elapsed time = 18627.50 sec. (7728314.87 ticks, tree = 6333.05 MB)
Nodefile size = 4258.71 MB (785.09 MB after compression)
  27077 21453       12.6885   959       79.2000       12.3000 13912313   84.47%
* 27102+21506                           74.1000       12.3000            83.40%
* 27102+21506                           73.8000       12.3000            83.33%
* 27106+21506                           72.0000       12.3000            82.92%
  27158 21593       12.3000   435       72.0000       12.3000 14070687   82.92%
  27238 21422       13.2079   749       72.0000       12.3000 13902321   82.92%
  27332 21616       12.3000   279       72.0000       12.3000 14088953   82.92%
  27394 21093       12.3000   551       72.0000       12.3000 14117516   82.92%
  27448 21288       12.6000   535       72.0000       12.3000 14284459   82.92%
* 27455+21332                           70.8000       12.3000            82.63%
  27517 21237       12.3000   582       70.8000       12.3000 14254882   82.63%
* 27557+21128                           70.5000       12.3000            82.55%
  27575 21245       12.3000   468       70.5000       12.3000 14262517   82.55%
  27639 21425       12.3000   412       70.5000       12.3000 14373331   82.55%
  27715 21496       12.3000   518       70.5000       12.3000 14577472   82.55%
Elapsed time = 19102.45 sec. (7883485.14 ticks, tree = 6356.47 MB)
Nodefile size = 4273.04 MB (787.66 MB after compression)
  27839 21570       12.3000   834       70.5000       12.3000 14685319   82.55%
  27955 21568       17.1694   928       70.5000       12.3000 14639707   82.55%
  28122 21653       13.2353   702       70.5000       12.3000 14777940   82.55%
  28212 21937       17.3287   647       70.5000       12.3000 14896704   82.55%
  28287 21727       12.3000   364       70.5000       12.3000 14828950   82.55%
  28366 22076       12.3000   550       70.5000       12.3000 14990094   82.55%
  28460 22084       12.3000   506       70.5000       12.3000 14997400   82.55%
  28540 22229       13.4839   641       70.5000       12.3000 15100062   82.55%
* 28573+22016                           69.0000       12.3000            82.17%
* 28594+22016                           67.5000       12.3000            81.78%
  28606 22018       17.6070   651       67.5000       12.3000 14924196   81.78%
  28690 22137       12.9667   527       67.5000       12.3000 15221069   81.78%
Elapsed time = 19576.30 sec. (8036917.81 ticks, tree = 6534.10 MB)
Nodefile size = 4459.59 MB (820.15 MB after compression)
  28816 22151       13.1432   601       67.5000       12.3000 15231170   81.78%
  28912 22278       18.9000   628       67.5000       12.3000 15341669   81.78%
  28977 22314       12.3000   427       67.5000       12.3000 15172319   81.78%
  29060 22395       14.3955   698       67.5000       12.3000 15409987   81.78%
  29139 22468       20.4664   821       67.5000       12.3000 15434499   81.78%
  29282 22554       12.3000   431       67.5000       12.3000 15489111   81.78%
  29395 22359       12.3000   346       67.5000       12.3000 15405974   81.78%
* 29414+22697                           66.0000       12.3000            81.36%
  29473 22612       12.3000   473       66.0000       12.3000 15506326   81.36%
  29508 22512       32.3948   939       66.0000       12.3000 15484902   81.36%
  29536 22638       12.3000   640       66.0000       12.3000 15523550   81.36%
Elapsed time = 20014.02 sec. (8195086.35 ticks, tree = 6681.10 MB)
Nodefile size = 4574.53 MB (836.46 MB after compression)

Flow cuts applied:  37
Mixed integer rounding cuts applied:  1

Root node processing (before b&c):
  Real time             = 1095.97 sec. (1247258.76 ticks)
Parallel b&c, 8 threads:
  Real time             = 18919.23 sec. (6960120.20 ticks)
  Sync time (average)   = 4140.74 sec.
  Wait time (average)   =    0.09 sec.
                          ------------
Total (root+branch&cut) = 20015.20 sec. (8207378.97 ticks)
Parallel mode: deterministic, using up to 8 threads for concurrent optimization:
 * Starting dual Simplex on 1 thread...
 * Starting Barrier on 6 threads...
 * Starting primal Simplex on 1 thread...
LP Presolve eliminated 10796 rows and 102602 columns.
All rows and columns eliminated.

Dual simplex solved model.

CPLEX 20.1.0.0: time limit with integer solution; objective 66
15902946 MIP simplex iterations
29539 branch-and-bound nodes
absmipgap = 53.7, relmipgap = 0.813636
O [1,*,*] (tr)
:    1   2    3    4    5    6    7     :=
1    2    4    4    6    2    6    2
2    3    4    4    5    4    4    3
3    4    6    3    8    6    7    6
4    5    6    9    7    6    7   10
5    8    6    8    6    6    9   11
6    6   12    7    7    8    8   11
7    7    7    7    6    4    9   10
8    5    9    8    6    7    8    6
9    5    9    9    5    7    9   11
10   7    8    7    9   10   10   16
11   5    9    6   10    8   10   15
12   8    9   14   13   10   12   10
13   7    6    9   10    6    6    9
14   6    7    8    6   10    8    6
15   3    4    5    3    5    4    2

 [2,*,*] (tr)
:    1    2    3    4    5   6    7     :=
1     2    4    5    4   3    3    2
2     4    7    5    3   4    5    3
3     8    6    5    7   5    6    4
4     7    5    6    7   7    5    5
5     6    8    7    6   5    8   13
6     6   11    8    9   5   10   14
7     6    5    6    7   6   10   11
8     8    7    7    5   6    7    8
9     9   11    5    5   8    8    9
10    8    6   10    6   6   11   16
11   12   10    6    7   8   12   13
12    9    7   10    7   9   11   13
13    6    9   10   10   8    9    6
14    8    6    9   10   9    7    6
15    4    4    4    4   3    4    2

 [3,*,*] (tr)
:    1    2    3    4    5    6    7     :=
1     2    3    4    4    5    3    2
2     4    4    4    5    7    5    4
3     4    6    6    6    8    6    4
4     5    8    4    8    9    7    6
5     6    6    6    6    7    7   11
6     6    5    9    6    6    7   11
7     7    6    5    7    6    8   10
8     5    7    6    6    8    7    7
9     9    7    5    8    6   10   14
10    6    6    8    8    7   10   11
11    5   10    8    9    8    9   12
12    9    9    6   11    9   11   11
13   10   10   10    9   10   10    9
14    8   12    5    7    9    7    9
15    4    3    5    4    4    4    2

 [4,*,*] (tr)
:    1    2    3    4    5    6   7     :=
1     2    5    5    3    2   4    2
2     5    4    6    4    3   4    3
3     4    6    6    6    7   6    4
4     6    6    6    8    8   8    6
5     6    6    8    7    8   9   10
6     7    6    8    8    8   8   10
7     7    4    5    5    8   8   10
8     7    6    6    7    6   8    7
9     9    8    7   10    7   9   15
10   10    7    9    5    6   9   14
11    6    7   12    8    8   8   12
12    7   10    7   10    9   9   10
13    8    9    8    6   11   9    8
14    8    8    8    8    7   9    7
15    4    4    5    7    6   4    2
;

X [*,*] (tr)
:    1   2   3   4   5   6   7    :=
1    4   4   2   2   0   0   1
2    4   0   0   0   1   0   0
3    2   2   0   0   3   0   1
4    5   4   3   2   0   0   0
6    5   2   3   0   2   0   1
7    1   1   1   0   0   0   0
8    2   2   2   0   1   0   0
10   3   0   4   0   0   0   2
11   5   1   2   3   0   1   0
12   3   0   2   0   0   0   0
14   0   2   2   0   0   0   0
15   1   1   1   0   1   0   0
16   3   2   2   0   0   0   2
;

Poli = 59
todos = 106

:       PE  PF    :=
1 1 5    2   0
1 1 6    1   0
1 2 6    5   0
1 2 8    3   0
1 2 9    4   0
1 2 10   2   0
1 3 4    4   0
1 3 6    3   0
1 3 7    2   0
1 3 9    3   0
1 3 10   1   0
1 3 12   7   0
1 4 1    2   0
1 4 2    1   0
1 4 3    1   0
1 4 4    2   0
1 4 7    1   0
1 4 9    1   0
1 4 10   4   0
1 4 12   6   0
1 5 5    1   0
1 5 10   5   0
1 6 6    1   0
1 7 13   3   0
1 7 14   0   2
2 1 3    3   0
2 1 5    1   0
2 1 7    1   0
2 1 9    2   0
2 1 10   2   0
2 1 11   5   0
2 1 12   1   0
2 1 15   1   0
2 2 2    3   0
2 2 4    1   0
2 2 5    2   0
2 2 6    5   0
2 2 8    3   0
2 2 9    4   0
2 3 3    1   0
2 3 6    3   0
2 3 7    1   0
2 3 12   4   0
2 4 6    3   0
2 5 1    1   0
2 5 9    2   0
2 5 13   2   0
2 6 1    0   1
2 6 6    1   0
2 7 11   2   0
3 1 9    2   0
3 1 13   1   0
3 2 4    2   0
3 2 8    1   0
3 2 11   2   0
3 2 12   1   0
3 3 3    1   0
3 3 5    1   0
3 3 6    4   0
3 3 11   1   0
3 3 13   1   0
3 4 2    1   0
3 4 4    1   0
3 4 5    2   0
3 4 9    2   0
3 4 10   1   0
3 4 12   2   0
3 5 1    4   0
3 5 2    3   0
3 5 4    4   0
3 5 10   1   0
3 5 13   3   0
3 6 2    2   0
3 7 9    2   0
4 1 2    1   0
4 1 5    1   0
4 1 6    1   0
4 1 9    3   0
4 1 10   3   0
4 1 11   1   0
4 2 13   2   0
4 3 2    1   0
4 3 3    1   0
4 3 6    4   0
4 3 11   5   0
4 3 12   1   0
4 3 15   1   0
4 4 6    1   0
4 4 9    4   0
4 4 15   3   0
4 5 5    2   0
4 5 6    2   0
4 5 7    3   0
4 5 13   3   0
4 6 4    1   0
;

PO [*,1,1,*] (tr)
:    1   2   3   4    :=
1    2   0   0   0
2    3   0   0   0
3    3   0   0   1
4    4   0   0   1
5    6   0   1   1
6    5   0   1   0
7    5   1   1   0
8    4   0   1   0
9    5   0   0   0
10   5   1   0   1
11   4   0   1   0
12   6   1   0   1
13   6   1   0   0
14   6   0   0   0
15   2   0   1   0

 [*,1,2,*] (tr)
:    1   2   3   4    :=
1    3   0   0   1
2    3   1   0   0
3    5   0   0   1
4    5   0   0   1
5    4   0   2   0
6    4   4   4   0
7    1   4   2   0
8    3   0   6   0
9    2   4   3   0
10   1   0   5   2
11   2   1   4   2
12   2   0   2   5
13   2   0   0   4
14   2   0   1   4
15   1   0   0   3

 [*,1,3,*] (tr)
:    1   2   3   4    :=
1    0   2   0   2
2    0   2   0   2
3    0   2   0   1
4    2   4   1   2
5    3   2   3   0
6    3   2   0   2
7    0   2   5   0
8    3   0   3   2
9    3   0   6   0
10   3   0   2   2
11   1   0   4   1
12   1   0   5   8
13   1   0   0   8
14   1   0   3   4
15   1   0   0   4

 [*,1,4,*] (tr)
:    1   2   3   4    :=
1    1   3   0   2
2    1   4   0   0
3    1   4   2   1
4    1   1   0   5
5    6   0   0   0
6    7   0   0   0
7    6   0   0   0
8    6   0   0   0
9    2   0   3   0
10   5   0   0   4
11   8   0   0   2
12   7   0   0   6
13   6   0   2   2
14   6   0   0   0
15   3   0   0   0

 [*,1,5,*] (tr)
:    1   2   3   4    :=
1    0   0   0   2
2    2   0   0   2
3    3   2   0   1
4    4   1   1   0
5    4   0   0   2
6    5   1   0   2
7    3   1   0   0
8    4   0   3   0
9    4   0   3   0
10   3   1   4   2
11   4   1   0   3
12   5   3   2   0
13   5   0   0   1
14   5   3   0   2
15   3   2   0   0

 [*,1,6,*] (tr)
:    1   2   3   4    :=
1    0   2   0   4
2    0   2   0   2
3    0   3   0   4
4    0   4   0   3
5    3   0   1   5
6    3   0   1   4
7    7   0   0   2
8    5   1   0   2
9    6   1   1   1
10   6   1   1   2
11   5   0   3   2
12   3   1   3   5
13   3   0   0   3
14   3   1   3   1
15   0   0   1   3

 [*,1,7,*] (tr)
:    1   2   3   4    :=
1    2   0   0   0
2    2   0   1   0
3    4   0   2   0
4    5   0   2   3
5    3   0   4   4
6    3   0   2   6
7    1   1   4   4
8    2   0   3   1
9    9   1   0   1
10   9   0   0   7
11   8   1   2   4
12   8   0   0   2
13   5   0   1   3
14   5   0   1   0
15   0   0   0   2

 [*,2,1,*] (tr)
:    2   6   7   8  10  14    :=
1    0   2   0   0   0   0
2    0   3   0   0   1   0
3    0   5   0   2   1   0
4    0   6   0   0   1   0
5    0   4   0   0   0   2
6    0   3   0   3   0   0
7    0   5   1   0   0   0
8    1   5   1   0   0   1
9    1   6   0   0   0   2
10   0   6   0   2   0   0
11   1   5   1   1   0   4
12   0   8   0   0   1   0
13   0   6   0   0   0   0
14   1   5   0   2   0   0
15   0   3   0   1   0   0

 [*,2,2,*] (tr)
:    2   6   7   8  10  14    :=
1    1   0   0   1   2   0
2    0   0   0   3   4   0
3    1   0   1   0   4   0
4    2   0   0   1   2   0
5    1   1   0   0   6   0
6    0   1   0   1   9   0
7    0   2   0   0   3   0
8    3   3   0   1   0   0
9    0   3   0   3   5   0
10   1   3   0   0   2   0
11   0   3   1   2   2   2
12   1   3   2   0   0   1
13   0   3   0   4   2   0
14   0   3   2   1   0   0
15   0   1   2   1   0   0

 [*,2,3,*] (tr)
:    6   7   8  10  14    :=
1    3   1   1   0   0
2    3   1   1   0   0
3    3   0   1   1   0
4    3   0   1   2   0
5    7   0   0   0   0
6    7   0   1   0   0
7    5   0   1   0   0
8    5   0   2   0   0
9    1   0   2   2   0
10   1   0   3   6   0
11   2   0   0   4   0
12   2   0   1   5   2
13   2   0   1   5   2
14   2   0   1   4   2
15   0   0   0   4   0

 [*,2,4,*] (tr)
:    2   6   7   8  10  14    :=
1    1   3   0   0   0   0
2    0   3   0   0   0   0
3    0   3   0   2   1   1
4    3   3   0   1   0   0
5    0   1   1   1   1   2
6    0   1   0   0   6   2
7    0   4   0   1   1   1
8    0   4   0   1   0   0
9    0   4   0   1   0   0
10   0   4   1   1   0   0
11   0   4   0   1   2   0
12   0   4   2   0   1   0
13   0   2   2   4   2   0
14   0   2   2   1   5   0
15   0   0   0   0   4   0

 [*,2,5,*] (tr)
:    2   6   7   8  10  14    :=
1    2   0   1   0   0   0
2    2   1   1   0   0   0
3    0   2   3   0   0   0
4    1   2   3   0   0   1
5    0   2   0   2   1   0
6    0   2   0   1   1   1
7    0   5   1   0   0   0
8    0   6   0   0   0   0
9    1   6   1   0   0   0
10   0   6   0   0   0   0
11   0   3   0   3   2   0
12   0   6   0   2   0   1
13   3   5   0   0   0   0
14   0   5   0   2   1   1
15   0   3   0   0   0   0

 [*,2,6,*] (tr)
:    2   6   7   8  10  14    :=
1    2   1   0   0   0   0
2    2   1   0   0   1   1
3    1   3   0   0   1   1
4    0   3   1   0   0   1
5    0   6   1   0   0   1
6    1   6   0   3   0   0
7    0   4   1   5   0   0
8    0   5   0   0   2   0
9    0   2   0   2   3   1
10   0   4   3   2   2   0
11   1   5   1   0   5   0
12   0   5   0   1   5   0
13   1   4   0   0   4   0
14   0   4   0   0   3   0
15   0   3   0   0   1   0

 [*,2,7,*] (tr)
:    2   6   7   8  10  14    :=
1    0   2   0   0   0   0
2    0   2   0   0   1   0
3    0   3   0   0   1   0
4    0   3   0   0   0   2
5    1   8   1   0   0   3
6    1   8   1   0   4   0
7    0   7   1   0   3   0
8    0   7   1   0   0   0
9    0   3   0   0   6   0
10   1   5   0   2   7   1
11   0   7   0   1   4   1
12   1   5   0   2   4   1
13   1   5   0   0   0   0
14   0   5   0   1   0   0
15   0   2   0   0   0   0

 [*,3,1,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   1   1   0   0
2    0   0   0   4   0   0
3    0   0   0   4   0   0
4    1   0   0   4   0   0
5    0   0   0   3   2   1
6    0   0   0   3   2   1
7    1   0   0   4   2   0
8    2   0   0   1   2   0
9    3   1   0   1   4   0
10   3   2   0   1   0   0
11   0   0   0   1   3   1
12   3   1   1   1   0   3
13   3   1   2   1   0   3
14   3   1   2   1   1   0
15   1   1   2   0   0   0

 [*,3,2,*] (tr)
:    3   7  10  11  12  15    :=
1    1   1   0   1   0   0
2    1   1   0   1   0   1
3    4   0   0   1   0   1
4    4   1   2   1   0   0
5    2   0   0   4   0   0
6    0   0   0   4   0   1
7    0   0   2   4   0   0
8    0   0   5   0   0   2
9    3   0   0   4   0   0
10   1   1   0   3   0   1
11   2   0   0   8   0   0
12   0   0   2   6   0   1
13   2   2   0   6   0   0
14   1   0   2   6   3   0
15   0   0   2   1   0   0

 [*,3,3,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   1   3   0   0
2    0   0   1   3   0   0
3    0   1   1   3   1   0
4    0   1   0   3   0   0
5    1   0   2   3   0   0
6    4   0   2   3   0   0
7    0   0   1   2   0   2
8    2   0   1   3   0   0
9    0   0   0   3   0   2
10   4   0   0   4   0   0
11   0   0   2   3   1   2
12   0   0   0   3   0   3
13   5   0   0   3   0   2
14   0   0   0   2   3   0
15   2   0   0   1   0   2

 [*,3,4,*] (tr)
:    3   7  10  11  12  15    :=
1    3   0   0   0   0   1
2    3   0   0   0   2   0
3    1   1   3   0   1   0
4    3   1   4   0   0   0
5    1   0   5   0   0   0
6    3   1   0   1   1   0
7    3   0   1   2   1   0
8    0   0   4   2   0   0
9    0   0   6   2   0   0
10   2   0   2   3   0   1
11   2   2   0   5   0   0
12   2   0   4   5   0   0
13   0   0   3   5   0   1
14   2   0   0   5   0   0
15   0   1   1   2   0   0

 [*,3,5,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   0   5   0   0
2    1   0   0   5   0   1
3    1   0   0   7   0   0
4    0   0   2   7   0   0
5    1   2   1   3   0   0
6    0   2   1   3   0   0
7    3   0   0   2   1   0
8    1   0   2   4   0   1
9    1   0   2   3   0   0
10   0   0   2   4   0   1
11   4   0   0   4   0   0
12   1   0   2   4   0   2
13   3   0   2   4   0   1
14   3   0   1   4   0   1
15   0   0   0   3   0   1

 [*,3,6,*] (tr)
:    3   7  10  11  12  15    :=
1    0   0   1   2   0   0
2    0   0   0   4   1   0
3    0   0   0   4   1   1
4    1   0   1   4   0   1
5    0   0   1   6   0   0
6    0   1   1   5   0   0
7    0   1   1   6   0   0
8    1   1   0   5   0   0
9    2   2   1   5   0   0
10   2   0   3   5   0   0
11   0   0   0   5   2   2
12   2   1   0   5   3   0
13   3   1   0   3   2   1
14   0   0   0   3   4   0
15   1   0   0   0   3   0

 [*,3,7,*] (tr)
:    3  10  11  12  15    :=
1    1   0   1   0   0
2    3   0   1   0   0
3    2   0   1   0   1
4    2   2   1   0   1
5    0   4   5   2   0
6    1   0   7   2   1
7    0   1   7   2   0
8    0   3   4   0   0
9    5   1   6   2   0
10   4   0   7   0   0
11   0   3   7   0   2
12   2   3   5   0   1
13   0   5   4   0   0
14   0   4   4   0   1
15   0   0   2   0   0

 [*,4,1,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   0   2
2    0   1   0   0   1   3
3    0   0   0   0   1   3
4    0   2   0   0   1   3
5    0   3   0   0   0   3
6    1   0   2   2   0   2
7    0   1   2   0   0   4
8    1   2   0   1   1   2
9    1   3   0   0   1   4
10   0   0   2   2   2   4
11   1   0   0   0   1   4
12   0   2   1   2   0   2
13   1   2   1   2   0   2
14   1   0   0   2   3   2
15   1   1   0   0   2   0

 [*,4,2,*] (tr)
:    4   8  12  14  15  16    :=
1    1   1   0   0   1   2
2    2   0   0   0   0   2
3    1   3   0   0   0   2
4    1   2   0   0   1   2
5    0   1   0   2   1   2
6    2   0   0   2   0   2
7    2   0   0   2   0   0
8    2   0   0   2   0   2
9    2   0   0   2   2   2
10   0   3   0   2   0   2
11   0   1   3   0   1   2
12   2   4   3   1   0   0
13   3   0   3   2   1   0
14   3   3   0   2   0   0
15   4   0   0   0   0   0

 [*,4,3,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   0   5
2    0   0   1   0   0   5
3    1   0   0   0   0   5
4    0   0   1   0   0   5
5    2   0   1   0   0   5
6    0   0   1   0   2   5
7    0   3   1   0   0   1
8    0   1   1   0   1   3
9    2   2   1   0   0   2
10   1   1   1   0   2   4
11   5   1   0   2   0   4
12   0   0   4   0   0   3
13   0   0   4   0   1   3
14   4   0   0   0   3   1
15   1   0   3   0   0   1

 [*,4,4,*] (tr)
:    4   8  12  14  15  16    :=
1    0   1   2   0   0   0
2    2   1   0   0   1   0
3    4   0   1   0   1   0
4    0   2   2   2   1   1
5    3   2   0   0   0   2
6    3   3   0   0   0   2
7    3   0   0   0   0   2
8    4   0   1   0   0   2
9    5   1   1   0   0   3
10   1   1   0   0   0   3
11   3   2   0   0   1   2
12   3   4   0   0   1   2
13   5   0   0   0   0   1
14   4   3   0   0   1   0
15   4   2   0   0   1   0

 [*,4,5,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   1   0   1   0
2    0   1   2   0   0   0
3    1   1   2   0   1   2
4    2   1   2   0   1   2
5    0   0   2   1   0   5
6    0   1   2   0   0   5
7    0   2   0   0   1   5
8    0   0   0   3   0   3
9    0   1   0   3   1   2
10   1   1   0   4   0   0
11   4   0   0   3   1   0
12   7   0   0   0   0   2
13   6   2   0   1   0   2
14   5   0   0   0   0   2
15   3   0   0   1   0   2

 [*,4,6,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   1   1   1   1
2    2   0   0   0   1   1
3    5   0   0   0   0   1
4    6   0   1   0   0   1
5    0   3   0   1   1   4
6    1   0   0   2   1   4
7    3   0   0   1   0   4
8    0   5   0   0   1   2
9    4   0   0   0   2   3
10   0   0   2   1   2   4
11   0   1   0   1   0   6
12   0   0   1   0   2   6
13   0   1   2   0   0   6
14   2   1   0   0   0   6
15   0   0   1   0   0   3

 [*,4,7,*] (tr)
:    4   8  12  14  15  16    :=
1    0   0   0   0   0   2
2    0   0   0   0   1   2
3    2   0   0   0   0   2
4    0   0   2   0   0   4
5    2   0   0   0   1   7
6    0   0   0   3   0   7
7    0   0   0   1   1   8
8    2   0   0   3   0   2
9    2   2   0   3   2   6
10   0   2   2   2   2   6
11   4   3   0   0   0   5
12   6   2   0   0   1   1
13   5   2   0   0   1   0
14   6   1   0   0   0   0
15   0   2   0   0   0   0
;

R [1,1,1,*,*]
:    7    :=
8    1
50   1
51   2

 [1,1,2,*,*]
 [1,1,3,*,*]
 [1,1,4,*,*]
:    7    :=
28   1
50   3

 [1,1,5,*,*]
:    7    :=
35   1
43   2
50   1

 [1,1,6,*,*]
:    7    :=
40   4

 [1,1,7,*,*]
:    7    :=
40   1
46   3

 [1,2,1,*,*]
 [1,2,2,*,*]
:    6    :=
1    1
35   3

 [1,2,3,*,*]
:    6    :=
1    2
21   2

 [1,2,4,*,*]
:    6    :=
1    4

 [1,2,5,*,*]
:    6    :=
1    2
51   2

 [1,2,6,*,*]
:    6    :=
1    4

 [1,2,7,*,*]
 [1,3,1,*,*]
:   18    :=
51   2

 [1,3,2,*,*]
:   18    :=
50   2

 [1,3,3,*,*]
:   18    :=
40   2

 [1,3,4,*,*]
 [1,3,5,*,*]
:   18    :=
8    1
43   1

 [1,3,6,*,*]
:   18    :=
46   2

 [1,3,7,*,*]
 [1,4,1,*,*]
 [1,4,2,*,*]
:    4    :=
1    2
51   3

 [1,4,3,*,*]
:    4    :=
1    2
50   3

 [1,4,4,*,*]
:    4    :=
48   1
51   4

 [1,4,5,*,*]
 [1,4,6,*,*]
:    4    :=
1    4
51   1

 [1,4,7,*,*]
:    4    :=
28   3
48   2

 [1,6,1,*,*]
:    8    :=
1    2
51   3

 [1,6,2,*,*]
 [1,6,3,*,*]
:    8    :=
28   5

 [1,6,4,*,*]
 [1,6,5,*,*]
:    8    :=
40   3
51   2

 [1,6,6,*,*]
:    8    :=
14   2
28   3

 [1,6,7,*,*]
:    8    :=
28   5

 [1,7,1,*,*]
 [1,7,2,*,*]
:    2    :=
1    1

 [1,7,3,*,*]
 [1,7,4,*,*]
:    2    :=
14   1

 [1,7,5,*,*]
:    2    :=
14   1

 [1,7,6,*,*]
:    2    :=
40   1

 [1,7,7,*,*]
:    2    :=
28   1

 [1,8,1,*,*]
 [1,8,2,*,*]
:    4    :=
1    2

 [1,8,3,*,*]
:    4    :=
1    1
40   1

 [1,8,4,*,*]
:    4    :=
51   2

 [1,8,5,*,*]
 [1,8,6,*,*]
:    4    :=
28   2

 [1,8,7,*,*]
:    4    :=
46   2

 [1,10,1,*,*]
:   13    :=
1    1
51   2

 [1,10,2,*,*]
:   13    :=
35   3

 [1,10,3,*,*]
 [1,10,4,*,*]
:   13    :=
51   3

 [1,10,5,*,*]
 [1,10,6,*,*]
:   13    :=
1    1
28   1
46   1

 [1,10,7,*,*]
:   13    :=
28   2
46   1

 [1,11,1,*,*]
 [1,11,2,*,*]
:    2    :=
50   5

 [1,11,3,*,*]
 [1,11,4,*,*]
:    2    :=
35   1
40   1
50   3

 [1,11,5,*,*]
:    2    :=
1    5

 [1,11,6,*,*]
:    2    :=
8    2
28   3

 [1,11,7,*,*]
:    2    :=
1    1
28   3
35   1

 [1,12,1,*,*]
:   20    :=
35   2
50   1

 [1,12,2,*,*]
:   20    :=
50   3

 [1,12,3,*,*]
:   20    :=
51   3

 [1,12,4,*,*]
:   20    :=
1    2
35   1

 [1,12,5,*,*]
 [1,12,6,*,*]
:   20    :=
1    1
51   2

 [1,12,7,*,*]
 [1,14,1,*,*]
 [1,14,2,*,*]
 [1,14,3,*,*]
 [1,14,4,*,*]
 [1,14,5,*,*]
 [1,14,6,*,*]
 [1,14,7,*,*]
 [1,15,1,*,*]
:    8    :=
50   1

 [1,15,2,*,*]
 [1,15,3,*,*]
:    8    :=
35   1

 [1,15,4,*,*]
 [1,15,5,*,*]
:    8    :=
51   1

 [1,15,6,*,*]
:    8    :=
46   1

 [1,15,7,*,*]
:    8    :=
46   1

 [1,16,1,*,*]
:    8    :=
8    1
50   2

 [1,16,2,*,*]
 [1,16,3,*,*]
:    8    :=
28   1
48   2

 [1,16,4,*,*]
 [1,16,5,*,*]
:    8    :=
28   3

 [1,16,6,*,*]
:    8    :=
1    1
50   2

 [1,16,7,*,*]
:    8    :=
21   2
46   1

 [2,1,1,*,*]
:   26    :=
28   2
40   2

 [2,1,2,*,*]
:   26    :=
1    2
28   1
50   1

 [2,1,3,*,*]
 [2,1,4,*,*]
:   26    :=
28   4

 [2,1,5,*,*]
:   26    :=
14   1
51   3

 [2,1,6,*,*]
:   26    :=
28   1
50   3

 [2,1,7,*,*]
:   26    :=
1    2
14   2

 [2,2,1,*,*]
 [2,2,2,*,*]
 [2,2,3,*,*]
 [2,2,4,*,*]
 [2,2,5,*,*]
 [2,2,6,*,*]
 [2,2,7,*,*]
 [2,3,1,*,*]
:   24    :=
40   2

 [2,3,2,*,*]
:   24    :=
40   2

 [2,3,3,*,*]
:   24    :=
21   1
51   1

 [2,3,4,*,*]
:   24    :=
1    2

 [2,3,5,*,*]
 [2,3,6,*,*]
:   24    :=
51   2

 [2,3,7,*,*]
:   24    :=
8    1
40   1

 [2,4,1,*,*]
 [2,4,2,*,*]
:   28    :=
35   2
51   2

 [2,4,3,*,*]
:   28    :=
51   4

 [2,4,4,*,*]
:   28    :=
1    2
48   2

 [2,4,5,*,*]
:   28    :=
50   4

 [2,4,6,*,*]
:   28    :=
14   2
51   2

 [2,4,7,*,*]
:   28    :=
14   2
50   2

 [2,6,1,*,*]
:   27    :=
8    1
14   1

 [2,6,2,*,*]
 [2,6,3,*,*]
:   27    :=
1    1
50   1

 [2,6,4,*,*]
:   27    :=
1    2

 [2,6,5,*,*]
:   27    :=
14   1
51   1

 [2,6,6,*,*]
:   27    :=
50   1
51   1

 [2,6,7,*,*]
:   27    :=
50   2

 [2,7,1,*,*]
:   22    :=
40   1

 [2,7,2,*,*]
:   22    :=
51   1

 [2,7,3,*,*]
:   22    :=
1    1

 [2,7,4,*,*]
:   22    :=
50   1

 [2,7,5,*,*]
:   22    :=
1    1

 [2,7,6,*,*]
:   22    :=
48   1

 [2,7,7,*,*]
 [2,8,1,*,*]
:   22    :=
51   2

 [2,8,2,*,*]
:   22    :=
50   1
51   1

 [2,8,3,*,*]
:   22    :=
40   2

 [2,8,4,*,*]
:   22    :=
21   1
50   1

 [2,8,5,*,*]
:   22    :=
50   2

 [2,8,6,*,*]
:   22    :=
28   1
40   1

 [2,8,7,*,*]
 [2,10,1,*,*]
 [2,10,2,*,*]
 [2,10,3,*,*]
 [2,10,4,*,*]
 [2,10,5,*,*]
 [2,10,6,*,*]
 [2,10,7,*,*]
 [2,11,1,*,*]
:   25    :=
1    1

 [2,11,2,*,*]
:   25    :=
51   1

 [2,11,3,*,*]
:   25    :=
40   1

 [2,11,4,*,*]
 [2,11,5,*,*]
:   25    :=
28   1

 [2,11,6,*,*]
:   25    :=
1    1

 [2,11,7,*,*]
:   25    :=
46   1

 [2,12,1,*,*]
 [2,12,2,*,*]
 [2,12,3,*,*]
 [2,12,4,*,*]
 [2,12,5,*,*]
 [2,12,6,*,*]
 [2,12,7,*,*]
 [2,14,1,*,*]
:   23    :=
50   2

 [2,14,2,*,*]
:   23    :=
28   2

 [2,14,3,*,*]
:   23    :=
50   2

 [2,14,4,*,*]
:   23    :=
14   1
21   1

 [2,14,5,*,*]
:   23    :=
43   2

 [2,14,6,*,*]
 [2,14,7,*,*]
:   23    :=
28   1
46   1

 [2,15,1,*,*]
:   27    :=
51   1

 [2,15,2,*,*]
 [2,15,3,*,*]
:   27    :=
51   1

 [2,15,4,*,*]
:   27    :=
1    1

 [2,15,5,*,*]
:   27    :=
1    1

 [2,15,6,*,*]
:   27    :=
1    1

 [2,15,7,*,*]
:   27    :=
50   1

 [2,16,1,*,*]
:   27    :=
40   2

 [2,16,2,*,*]
 [2,16,3,*,*]
:   27    :=
1    2

 [2,16,4,*,*]
:   27    :=
28   1
46   1

 [2,16,5,*,*]
:   27    :=
51   2

 [2,16,6,*,*]
:   27    :=
28   2

 [2,16,7,*,*]
:   27    :=
28   1
40   1

 [3,1,1,*,*]
:   14    :=
2    2

 [3,1,2,*,*]
:   14    :=
2    1
49   1

 [3,1,3,*,*]
 [3,1,4,*,*]
:   14    :=
36   1
49   1

 [3,1,5,*,*]
:   14    :=
9    2

 [3,1,6,*,*]
 [3,1,7,*,*]
:   14    :=
47   2

 [3,2,1,*,*]
 [3,2,2,*,*]
 [3,2,3,*,*]
 [3,2,4,*,*]
 [3,2,5,*,*]
 [3,2,6,*,*]
 [3,2,7,*,*]
 [3,3,1,*,*]
 [3,3,2,*,*]
 [3,3,3,*,*]
 [3,3,4,*,*]
 [3,3,5,*,*]
 [3,3,6,*,*]
 [3,3,7,*,*]
 [3,4,1,*,*]
 [3,4,2,*,*]
 [3,4,3,*,*]
:    1    :=
29   2
49   1

 [3,4,4,*,*]
:    1    :=
16   1
41   2

 [3,4,5,*,*]
:    1    :=
49   3

 [3,4,6,*,*]
:    1    :=
16   3

 [3,4,7,*,*]
:    1    :=
47   2
49   1

 [3,6,1,*,*]
:    9    :=
23   1
41   2

 [3,6,2,*,*]
 [3,6,3,*,*]
:    9    :=
2    2
47   1

 [3,6,4,*,*]
:    9    :=
3    1
41   2

 [3,6,5,*,*]
 [3,6,6,*,*]
:    9    :=
41   1
49   2

 [3,6,7,*,*]
:    9    :=
2    1
49   2

 [3,7,1,*,*]
:   15    :=
49   1

 [3,7,2,*,*]
:   15    :=
49   1

 [3,7,3,*,*]
 [3,7,4,*,*]
:   15    :=
49   1

 [3,7,5,*,*]
:   15    :=
16   1

 [3,7,6,*,*]
:   15    :=
23   1

 [3,7,7,*,*]
 [3,8,1,*,*]
:   14    :=
15   1
30   1

 [3,8,2,*,*]
:   14    :=
47   2

 [3,8,3,*,*]
 [3,8,4,*,*]
:   14    :=
2    1
47   1

 [3,8,5,*,*]
:   14    :=
9    1
30   1

 [3,8,6,*,*]
 [3,8,7,*,*]
:   14    :=
49   2

 [3,10,1,*,*]
 [3,10,2,*,*]
:    4    :=
2    2
9    2

 [3,10,3,*,*]
:    4    :=
49   4

 [3,10,4,*,*]
:    4    :=
15   4

 [3,10,5,*,*]
 [3,10,6,*,*]
:    4    :=
44   1
47   2
49   1

 [3,10,7,*,*]
:    4    :=
44   1
47   3

 [3,11,1,*,*]
 [3,11,2,*,*]
 [3,11,3,*,*]
:    1    :=
44   1
49   1

 [3,11,4,*,*]
:    1    :=
49   2

 [3,11,5,*,*]
:    1    :=
49   2

 [3,11,6,*,*]
:    1    :=
2    1
41   1

 [3,11,7,*,*]
:    1    :=
49   2

 [3,12,1,*,*]
:    8    :=
30   2

 [3,12,2,*,*]
 [3,12,3,*,*]
:    8    :=
9    1
44   1

 [3,12,4,*,*]
 [3,12,5,*,*]
:    8    :=
2    1
9    1

 [3,12,6,*,*]
:    8    :=
49   2

 [3,12,7,*,*]
:    8    :=
23   2

 [3,14,1,*,*]
:   12    :=
29   2

 [3,14,2,*,*]
:   12    :=
47   2

 [3,14,3,*,*]
 [3,14,4,*,*]
 [3,14,5,*,*]
:   12    :=
22   1
49   1

 [3,14,6,*,*]
:   12    :=
2    1
30   1

 [3,14,7,*,*]
:   12    :=
22   2

 [3,15,1,*,*]
:   21    :=
49   1

 [3,15,2,*,*]
:   21    :=
44   1

 [3,15,3,*,*]
:   21    :=
49   1

 [3,15,4,*,*]
:   21    :=
49   1

 [3,15,5,*,*]
:   21    :=
41   1

 [3,15,6,*,*]
 [3,15,7,*,*]
 [3,16,1,*,*]
 [3,16,2,*,*]
 [3,16,3,*,*]
:    1    :=
2    2

 [3,16,4,*,*]
:    1    :=
23   1
44   1

 [3,16,5,*,*]
:    1    :=
16   2

 [3,16,6,*,*]
:    1    :=
47   1
49   1

 [3,16,7,*,*]
:    1    :=
30   2

 [4,1,1,*,*]
:   24    :=
47   2

 [4,1,2,*,*]
:   24    :=
15   2

 [4,1,3,*,*]
:   24    :=
22   2

 [4,1,4,*,*]
:   24    :=
49   2

 [4,1,5,*,*]
 [4,1,6,*,*]
:   24    :=
30   2

 [4,1,7,*,*]
:   24    :=
47   2

 [4,2,1,*,*]
 [4,2,2,*,*]
 [4,2,3,*,*]
 [4,2,4,*,*]
 [4,2,5,*,*]
 [4,2,6,*,*]
 [4,2,7,*,*]
 [4,3,1,*,*]
 [4,3,2,*,*]
 [4,3,3,*,*]
 [4,3,4,*,*]
 [4,3,5,*,*]
 [4,3,6,*,*]
 [4,3,7,*,*]
 [4,4,1,*,*]
:   26    :=
15   1
49   1

 [4,4,2,*,*]
:   26    :=
49   2

 [4,4,3,*,*]
 [4,4,4,*,*]
:   26    :=
15   2

 [4,4,5,*,*]
:   26    :=
2    2

 [4,4,6,*,*]
:   26    :=
41   2

 [4,4,7,*,*]
:   26    :=
23   1
49   1

 [4,6,1,*,*]
 [4,6,2,*,*]
 [4,6,3,*,*]
 [4,6,4,*,*]
 [4,6,5,*,*]
 [4,6,6,*,*]
 [4,6,7,*,*]
 [4,7,1,*,*]
 [4,7,2,*,*]
 [4,7,3,*,*]
 [4,7,4,*,*]
 [4,7,5,*,*]
 [4,7,6,*,*]
 [4,7,7,*,*]
 [4,8,1,*,*]
 [4,8,2,*,*]
 [4,8,3,*,*]
 [4,8,4,*,*]
 [4,8,5,*,*]
 [4,8,6,*,*]
 [4,8,7,*,*]
 [4,10,1,*,*]
 [4,10,2,*,*]
 [4,10,3,*,*]
 [4,10,4,*,*]
 [4,10,5,*,*]
 [4,10,6,*,*]
 [4,10,7,*,*]
 [4,11,1,*,*]
:   25    :=
9    3

 [4,11,2,*,*]
:   25    :=
30   3

 [4,11,3,*,*]
:   25    :=
2    3

 [4,11,4,*,*]
 [4,11,5,*,*]
:   25    :=
15   2
49   1

 [4,11,6,*,*]
:   25    :=
37   1
47   2

 [4,11,7,*,*]
:   25    :=
30   2
47   1

 [4,12,1,*,*]
 [4,12,2,*,*]
 [4,12,3,*,*]
 [4,12,4,*,*]
 [4,12,5,*,*]
 [4,12,6,*,*]
 [4,12,7,*,*]
 [4,14,1,*,*]
 [4,14,2,*,*]
 [4,14,3,*,*]
 [4,14,4,*,*]
 [4,14,5,*,*]
 [4,14,6,*,*]
 [4,14,7,*,*]
 [4,15,1,*,*]
 [4,15,2,*,*]
 [4,15,3,*,*]
 [4,15,4,*,*]
 [4,15,5,*,*]
 [4,15,6,*,*]
 [4,15,7,*,*]
 [4,16,1,*,*]
 [4,16,2,*,*]
 [4,16,3,*,*]
 [4,16,4,*,*]
 [4,16,5,*,*]
 [4,16,6,*,*]
 [4,16,7,*,*]
 [5,1,1,*,*]
 [5,1,2,*,*]
 [5,1,3,*,*]
 [5,1,4,*,*]
 [5,1,5,*,*]
 [5,1,6,*,*]
 [5,1,7,*,*]
 [5,2,1,*,*]
:   12    :=
42   1

 [5,2,2,*,*]
:   12    :=
25   1

 [5,2,3,*,*]
 [5,2,4,*,*]
 [5,2,5,*,*]
:   12    :=
39   1

 [5,2,6,*,*]
:   12    :=
38   1

 [5,2,7,*,*]
:   12    :=
32   1

 [5,3,1,*,*]
 [5,3,2,*,*]
:    5    :=
17   3

 [5,3,3,*,*]
:    5    :=
31   2
42   1

 [5,3,4,*,*]
:    5    :=
5    1
39   2

 [5,3,5,*,*]
:    5    :=
42   3

 [5,3,6,*,*]
 [5,3,7,*,*]
:    5    :=
4    1
11   1
42   1

 [5,4,1,*,*]
 [5,4,2,*,*]
 [5,4,3,*,*]
 [5,4,4,*,*]
 [5,4,5,*,*]
 [5,4,6,*,*]
 [5,4,7,*,*]
 [5,6,1,*,*]
:   14    :=
42   2

 [5,6,2,*,*]
:   14    :=
42   2

 [5,6,3,*,*]
 [5,6,4,*,*]
:   14    :=
42   2

 [5,6,5,*,*]
:   14    :=
42   2

 [5,6,6,*,*]
 [5,6,7,*,*]
:   14    :=
17   1
42   1

 [5,7,1,*,*]
 [5,7,2,*,*]
 [5,7,3,*,*]
 [5,7,4,*,*]
 [5,7,5,*,*]
 [5,7,6,*,*]
 [5,7,7,*,*]
 [5,8,1,*,*]
:   20    :=
10   1

 [5,8,2,*,*]
:   20    :=
10   1

 [5,8,3,*,*]
:   20    :=
39   1

 [5,8,4,*,*]
:   20    :=
17   1

 [5,8,5,*,*]
 [5,8,6,*,*]
:   20    :=
42   1

 [5,8,7,*,*]
 [5,10,1,*,*]
 [5,10,2,*,*]
 [5,10,3,*,*]
 [5,10,4,*,*]
 [5,10,5,*,*]
 [5,10,6,*,*]
 [5,10,7,*,*]
 [5,11,1,*,*]
 [5,11,2,*,*]
 [5,11,3,*,*]
 [5,11,4,*,*]
 [5,11,5,*,*]
 [5,11,6,*,*]
 [5,11,7,*,*]
 [5,12,1,*,*]
 [5,12,2,*,*]
 [5,12,3,*,*]
 [5,12,4,*,*]
 [5,12,5,*,*]
 [5,12,6,*,*]
 [5,12,7,*,*]
 [5,14,1,*,*]
 [5,14,2,*,*]
 [5,14,3,*,*]
 [5,14,4,*,*]
 [5,14,5,*,*]
 [5,14,6,*,*]
 [5,14,7,*,*]
 [5,15,1,*,*]
:   16    :=
10   1

 [5,15,2,*,*]
:   16    :=
4    1

 [5,15,3,*,*]
:   16    :=
39   1

 [5,15,4,*,*]
 [5,15,5,*,*]
 [5,15,6,*,*]
:   16    :=
31   1

 [5,15,7,*,*]
:   16    :=
11   1

 [5,16,1,*,*]
 [5,16,2,*,*]
 [5,16,3,*,*]
 [5,16,4,*,*]
 [5,16,5,*,*]
 [5,16,6,*,*]
 [5,16,7,*,*]
 [6,1,1,*,*]
 [6,1,2,*,*]
 [6,1,3,*,*]
 [6,1,4,*,*]
 [6,1,5,*,*]
 [6,1,6,*,*]
 [6,1,7,*,*]
 [6,2,1,*,*]
 [6,2,2,*,*]
 [6,2,3,*,*]
 [6,2,4,*,*]
 [6,2,5,*,*]
 [6,2,6,*,*]
 [6,2,7,*,*]
 [6,3,1,*,*]
 [6,3,2,*,*]
 [6,3,3,*,*]
 [6,3,4,*,*]
 [6,3,5,*,*]
 [6,3,6,*,*]
 [6,3,7,*,*]
 [6,4,1,*,*]
 [6,4,2,*,*]
 [6,4,3,*,*]
 [6,4,4,*,*]
 [6,4,5,*,*]
 [6,4,6,*,*]
 [6,4,7,*,*]
 [6,6,1,*,*]
 [6,6,2,*,*]
 [6,6,3,*,*]
 [6,6,4,*,*]
 [6,6,5,*,*]
 [6,6,6,*,*]
 [6,6,7,*,*]
 [6,7,1,*,*]
 [6,7,2,*,*]
 [6,7,3,*,*]
 [6,7,4,*,*]
 [6,7,5,*,*]
 [6,7,6,*,*]
 [6,7,7,*,*]
 [6,8,1,*,*]
 [6,8,2,*,*]
 [6,8,3,*,*]
 [6,8,4,*,*]
 [6,8,5,*,*]
 [6,8,6,*,*]
 [6,8,7,*,*]
 [6,10,1,*,*]
 [6,10,2,*,*]
 [6,10,3,*,*]
 [6,10,4,*,*]
 [6,10,5,*,*]
 [6,10,6,*,*]
 [6,10,7,*,*]
 [6,11,1,*,*]
:   25    :=
42   1

 [6,11,2,*,*]
:   25    :=
5    1

 [6,11,3,*,*]
:   25    :=
42   1

 [6,11,4,*,*]
 [6,11,5,*,*]
:   25    :=
42   1

 [6,11,6,*,*]
:   25    :=
42   1

 [6,11,7,*,*]
:   25    :=
39   1

 [6,12,1,*,*]
 [6,12,2,*,*]
 [6,12,3,*,*]
 [6,12,4,*,*]
 [6,12,5,*,*]
 [6,12,6,*,*]
 [6,12,7,*,*]
 [6,14,1,*,*]
 [6,14,2,*,*]
 [6,14,3,*,*]
 [6,14,4,*,*]
 [6,14,5,*,*]
 [6,14,6,*,*]
 [6,14,7,*,*]
 [6,15,1,*,*]
 [6,15,2,*,*]
 [6,15,3,*,*]
 [6,15,4,*,*]
 [6,15,5,*,*]
 [6,15,6,*,*]
 [6,15,7,*,*]
 [6,16,1,*,*]
 [6,16,2,*,*]
 [6,16,3,*,*]
 [6,16,4,*,*]
 [6,16,5,*,*]
 [6,16,6,*,*]
 [6,16,7,*,*]
 [7,1,1,*,*]
:   10    :=
27   1

 [7,1,2,*,*]
 [7,1,3,*,*]
:   10    :=
33   1

 [7,1,4,*,*]
:   10    :=
7    1

 [7,1,5,*,*]
:   10    :=
26   1

 [7,1,6,*,*]
 [7,1,7,*,*]
:   10    :=
26   1

 [7,2,1,*,*]
 [7,2,2,*,*]
 [7,2,3,*,*]
 [7,2,4,*,*]
 [7,2,5,*,*]
 [7,2,6,*,*]
 [7,2,7,*,*]
 [7,3,1,*,*]
:   16    :=
26   1

 [7,3,2,*,*]
:   16    :=
6    1

 [7,3,3,*,*]
:   16    :=
34   1

 [7,3,4,*,*]
 [7,3,5,*,*]
 [7,3,6,*,*]
:   16    :=
26   1

 [7,3,7,*,*]
:   16    :=
13   1

 [7,4,1,*,*]
 [7,4,2,*,*]
 [7,4,3,*,*]
 [7,4,4,*,*]
 [7,4,5,*,*]
 [7,4,6,*,*]
 [7,4,7,*,*]
 [7,6,1,*,*]
:   12    :=
19   1

 [7,6,2,*,*]
:   12    :=
33   1

 [7,6,3,*,*]
 [7,6,4,*,*]
 [7,6,5,*,*]
:   12    :=
12   1

 [7,6,6,*,*]
:   12    :=
6    1

 [7,6,7,*,*]
:   12    :=
7    1

 [7,7,1,*,*]
 [7,7,2,*,*]
 [7,7,3,*,*]
 [7,7,4,*,*]
 [7,7,5,*,*]
 [7,7,6,*,*]
 [7,7,7,*,*]
 [7,8,1,*,*]
 [7,8,2,*,*]
 [7,8,3,*,*]
 [7,8,4,*,*]
 [7,8,5,*,*]
 [7,8,6,*,*]
 [7,8,7,*,*]
 [7,10,1,*,*]
 [7,10,2,*,*]
:    5    :=
33   2

 [7,10,3,*,*]
:    5    :=
7    1
19   1

 [7,10,4,*,*]
:    5    :=
34   2

 [7,10,5,*,*]
:    5    :=
26   2

 [7,10,6,*,*]
 [7,10,7,*,*]
:    5    :=
13   1
27   1

 [7,11,1,*,*]
 [7,11,2,*,*]
 [7,11,3,*,*]
 [7,11,4,*,*]
 [7,11,5,*,*]
 [7,11,6,*,*]
 [7,11,7,*,*]
 [7,12,1,*,*]
 [7,12,2,*,*]
 [7,12,3,*,*]
 [7,12,4,*,*]
 [7,12,5,*,*]
 [7,12,6,*,*]
 [7,12,7,*,*]
 [7,14,1,*,*]
 [7,14,2,*,*]
 [7,14,3,*,*]
 [7,14,4,*,*]
 [7,14,5,*,*]
 [7,14,6,*,*]
 [7,14,7,*,*]
 [7,15,1,*,*]
 [7,15,2,*,*]
 [7,15,3,*,*]
 [7,15,4,*,*]
 [7,15,5,*,*]
 [7,15,6,*,*]
 [7,15,7,*,*]
 [7,16,1,*,*]
:   16    :=
7    2

 [7,16,2,*,*]
:   16    :=
6    2

 [7,16,3,*,*]
:   16    :=
6    1
33   1

 [7,16,4,*,*]
 [7,16,5,*,*]
 [7,16,6,*,*]
:   16    :=
34   2

 [7,16,7,*,*]
:   16    :=
7    2

 [8,1,1,*,*]
 [8,1,2,*,*]
 [8,1,3,*,*]
 [8,1,4,*,*]
 [8,1,5,*,*]
 [8,1,6,*,*]
 [8,1,7,*,*]
 [8,2,1,*,*]
 [8,2,2,*,*]
 [8,2,3,*,*]
 [8,2,4,*,*]
 [8,2,5,*,*]
 [8,2,6,*,*]
 [8,2,7,*,*]
 [8,3,1,*,*]
 [8,3,2,*,*]
 [8,3,3,*,*]
 [8,3,4,*,*]
 [8,3,5,*,*]
 [8,3,6,*,*]
 [8,3,7,*,*]
 [8,4,1,*,*]
 [8,4,2,*,*]
 [8,4,3,*,*]
 [8,4,4,*,*]
 [8,4,5,*,*]
 [8,4,6,*,*]
 [8,4,7,*,*]
 [8,6,1,*,*]
 [8,6,2,*,*]
 [8,6,3,*,*]
 [8,6,4,*,*]
 [8,6,5,*,*]
 [8,6,6,*,*]
 [8,6,7,*,*]
 [8,7,1,*,*]
 [8,7,2,*,*]
 [8,7,3,*,*]
 [8,7,4,*,*]
 [8,7,5,*,*]
 [8,7,6,*,*]
 [8,7,7,*,*]
 [8,8,1,*,*]
 [8,8,2,*,*]
 [8,8,3,*,*]
 [8,8,4,*,*]
 [8,8,5,*,*]
 [8,8,6,*,*]
 [8,8,7,*,*]
 [8,10,1,*,*]
 [8,10,2,*,*]
 [8,10,3,*,*]
 [8,10,4,*,*]
 [8,10,5,*,*]
 [8,10,6,*,*]
 [8,10,7,*,*]
 [8,11,1,*,*]
 [8,11,2,*,*]
 [8,11,3,*,*]
 [8,11,4,*,*]
 [8,11,5,*,*]
 [8,11,6,*,*]
 [8,11,7,*,*]
 [8,12,1,*,*]
 [8,12,2,*,*]
 [8,12,3,*,*]
 [8,12,4,*,*]
 [8,12,5,*,*]
 [8,12,6,*,*]
 [8,12,7,*,*]
 [8,14,1,*,*]
 [8,14,2,*,*]
 [8,14,3,*,*]
 [8,14,4,*,*]
 [8,14,5,*,*]
 [8,14,6,*,*]
 [8,14,7,*,*]
 [8,15,1,*,*]
 [8,15,2,*,*]
 [8,15,3,*,*]
 [8,15,4,*,*]
 [8,15,5,*,*]
 [8,15,6,*,*]
 [8,15,7,*,*]
 [8,16,1,*,*]
 [8,16,2,*,*]
 [8,16,3,*,*]
 [8,16,4,*,*]
 [8,16,5,*,*]
 [8,16,6,*,*]
 [8,16,7,*,*];

Faltantes = 3.6
sobrantes = 62.4
salario = 3651.64
servicio = 0.559499
capacitacion = 1.18

NVS [*] :=
1  0.997072
2  0.998549
3  1
4  1
;

COSTOS = 66

_solve_elapsed_time = 20024.3

_nvars = 1049330
_ncons = 13348

solve_result_num = 422

ampl: 